a_(n+1) = exp(-a_n)

b_(n+1) = cos(b_n)

の収束性を論ぜよ。