>>774
結果、0<π-an≦(1+cosaN)^(n-N)(π-aN) なる。
π-a_n=b_nとでもすると
b_n≦L*b_(n-1)
って形になってるから
b_n≦L*｛b_(n-1)｝≦L*｛L*b_(n-2)｝≦…
を繰り返す
何をやっているのかはわかるが、
(1+cosan)はどこにいった?