(1) 定積分
$$
\int_0^1 \frac{x\log x}{(x+1)^2}dx
$$
の値を求めよ。
(2) 関数列 ${f_n(x)}$ を
$$
f_{n+1}(x)=(x^x)^{f_n(x)},\quad f_1(x)=x^x
$$
で定める。定積分
$$
\int_0^1(x^x)^{{(x^x)}^{(x^x)\cdots}}dx:=\int_0^1\lim_{n\to \infty} f_n(x)\ dx
$$
の値を求めよ。ただしテトレーション $x^{{x^{x\cdots}}}$ は底 $x$ が $e^{-e}<x<e^{1/e}$ のとき収束することは証明せずに用いて良い。
この問題の正解判定は出題者により手動で行われるため、判定までに時間がかかることがある。
この問題を解いた人はこんな問題も解いています