23/01/03 01:29:39.45 0vRKIS4S.net
>>356
任意の0<t<π/2に対して
∫[0,π/2]{sinx}^(1/n)dx>∫[0,t]{sint/2}^(1/n)dx+∫[t,π/2]{sint}^(1/n)dx
={sint}^(1/n){t/2^(1/n)+π/2-t}>{sint}^(1/n){π/2-t/2}
右辺がπ/2-tより大きいとき{sint}^(1/n)>(π/2-t)/(π/2-t/2)=(1-2t/π)/(1-t/π)
n>log{sint}/{log(1-2t/π)-log(1-t/π)} これを満たす最小の整数nをNとする
任意のtに対して常にNがあってNより大きい任意のnに対して
│∫[0,π/2]{sinx}^(1/n)dx-π/2│<t