(1)
u=1+t とおくと u≧1 であり、2(1+t+1)t=2(u+1)u2−1=2u−1 である。一方、X=(u+1)/2 とおくと X>0 であり、基本不等式 logX≦X−1 より log2u+1≦2u+1−1=2u−1 である。したがってlog(21+t+1)≦2(1+t+1)tが成り立つ。
(2)
0≦x≦1 では xn≧0 なので 1+xn+1≧2 であり、したがって Jn−log2=∫01log(21+xn+1)dx≧0 である。また(1)に t=xn を代入するとlog(21+xn+1)≦2(1+xn+1)xnである。分母は 2(1+xn+1)≧4 だから log(21+xn+1)≦4xn である。よって 0≦Jn−log2≦∫014xndx=4(n+1)1 である。
(3)
合成関数の微分によりdxdlog(1+xn+1)=1+xn+11⋅21+xnnxn−1である。したがってdxdlog(1+xn+1)=21+xn(1+xn+1)nxn−1である。
(4)
まず 1−In を変形する。1−In=∫01(1−1+xn1)dx=∫011+xn1+xn−1dxである。分子を有理化して 1+xn−1=1+xn+1xn だから 1−In=∫011+xn(1+xn+1)xndx である。
次に Jn を部分積分する。(3)よりJn=[xlog(1+xn+1)]01−∫01x⋅21+xn(1+xn+1)nxn−1dxである。したがってJn=log(2+1)−2n∫011+xn(1+xn+1)xndxである。上で得た式と比較して Jn=log(2+1)−2n(1−In) となる。よって n(1−In)=2{log(2+1)−Jn} である。
(2) より 0≦Jn−log2≦4(n+1)1 だから n→∞limJn=log2 である。したがってn→∞limn(1−In)=2{log(2+1)−log2}=2log22+1である。