15/10/29 00:12:05.97 QydKL97v.net
951 ：１３２人目の素数さん：2015/10/26(月) 22:19:06.68 ID:lA+MWMHJ
>>925
面倒くさいんでアウトラインを
f(x)＝sin x － {√(1＋4x^2)－1}/(2x)
とおいて微分して単調減少を示し，中間値の定理
y_n＝x_n－2nπ－π/2 とおき sin(x_n) → 1 を示し，y_n → 0 を示す
sin(x_n)＝x_n {cos(x_n)}^2 より n {sin(y_n)}^2 → π/2 を示す