>>460
b_1=√2
b_(n+1)=√2^(b_n)
で{b_n}を定義する
b_(n+1)>b_n
b_n<2
をそれぞれ示す(帰納法で簡単に示せる)
{b_n}は√2<α≦2なる極限αを持ち、α=√2^αである→α=2