分からない問題はここに書いてね451

>>442
f(x) = {1-cos(x)}/xx ≧ 0,
F(X) = ∫[0〜X] f(x)dx は Xについて単調増加。

0 ≦ f(x) = 2{sin(x/2)/x}^2 ≦ 1/2,

0 < F(X) = ∫[0〜X] f(x)dx
　= ∫[0〜2] f(x)dx + ∫[2〜X] f(x)dx
　< 1 + ∫[2〜X] (2/xx)dx
　= 1 + [ -2/x ](x=2，X)
　= 2 - 2/X
　< 2,
Xについて単調増加かつ有界だから収束する。