Und wie zeigt man Konvergenz bei rekursiven Folgen?
z.B. mit : monoton fallend und nach unten beschränkt:
Für alle n∈ℕ gilt an > √7. Denn es gilt für n=0
und wenn es für ein n gilt, dann
an > √7 | *(√7 - 3 ) [ist negativ ! ]
==> an *(√7 - 3 ) < √7*(√7 - 3 )
==> an *√7 - 3an < 7 - 3√7
==> an *√7 + 3√7 < 7 + 3an
==> (an + 3 )*√7 < 7 + 3an
\( \sqrt{7} \lt \frac{7 + 3an}{3 + an} \) also an+1 > √7.