>>284
0<sincos1≦f_1(sinx)=sincos(sinx)≦sin1<1
0<a≦f_n(sinx)≦b<1と仮定すると0<sincosb≦f_(n+1)(sinx)=sincosf_n(sinx)≦sincosa<1
ここで平均値の定理からsincosb-sincosa<c(b-a) (|c|<1)
よって帰納的にf_n(x)は定数に収束する
ダメだろうか？