>>112
a_n<2 とa_(n+1)>a_nを数学的帰納法で証明する
極限値の存在が保証されたら極限値αはx=2^xの解でα≦2