sを任意の正の実数とする。
a_1 := s
a_(n+1) := √(a_n + s) (n=1, 2, 3, …)
によって定義される数列を考える。

0<s≦2ならば、{a_n}は単調増加で、a_n≦2(n=1, 2, 3, …)が成り立つ。
2<sならば、{a_n}は単調減少で、2<a_n(n=1, 2, 3, …)が成り立つ。

このことを証明せよ。

この問題はどうやればいいのですか？