>>152
0<a<2のとき
任意のnについてa[n+1]>a[n]かつa[n]<2を機能的に示す。
するとa[n]は単調増加で有界なので収束する。
漸化式の両辺をn→∞とすれば
α=√(α+2)  (α=lim[n→∞]a[n])
となるので、α=2
a≧2のときも同様