14/12/22 10:03:54.22
>>124
a_nが全部非負なのは定義から明らか
0<s≦a_(n-1)≦a_n≦2のとき
a_n^2=a_(n-1)+s≦a_n+s≦2a_n≦4
2<a_n<a_(n-1)のとき
4<2a_n<a_n+s<a_(n-1)+s=a_n^2
14/12/22 10:03:54.22
>>124
a_nが全部非負なのは定義から明らか
0<s≦a_(n-1)≦a_n≦2のとき
a_n^2=a_(n-1)+s≦a_n+s≦2a_n≦4
2<a_n<a_(n-1)のとき
4<2a_n<a_n+s<a_(n-1)+s=a_n^2