Wenn man etwas mit dem Rekursionsterm experimentiert,
sieht man ( xn/2 + 5/(2xn) )2 und ( xn/2 - 5/(2xn) )2 unterscheiden
sich genau um 5.
Also hat man ( xn/2 + 5/(2xn) )2 - 5 = ( xn/2 - 5/(2xn) )2
und Quadrate sind nie negativ, also ist das ≥ 0
Wenn aber xn+1 2 - 5 ≥ 0 dann ist
xn+1 2 ≥ 5 also
xn+1 ≥ √5 . Das sieht man quasi erst im Laufe des Beweises, dass
es auf Wurzel5 hinausläuft.