für n aus IN gilt ja an = 1/2 * ( an-1 + c / an-1 )
also an ≥ √c heißt dann
also 1/2 * ( an-1 + c / an-1 ) ≥ √c bzw
( an-1 + c / an-1 ) ≥ 2√c
und weil alles pos. ist kannst du quadrieren
( an-1 + c / an-1 )2 ≥ 4c
binomi gibt
an-12 +2 c + ( c / an-1 )2 ≥ 4c
an-12 -2 c + ( c / an-1 )2 ≥ 0
( an-1 - c / an-1 )2 ≥ 0
Quadrate sind immer nicht negativ, also ist das immer wahr.
Da alles äquivalent umgeformt wurde, gilt also auch die erste
Ungleichung.