>>772
自分の書いた不等式を読めなくてどうする?
>π-a(n+1)=(1+cosc)(π-an)<(1+cosan)(π-an)≦(1+cosaN)(π-an)
nを一つ下げて、(n-1≧N のとき、となる)
π-a_[n}<(1+cos(a_[N]))(π-a_[n-1])