Heron-Verfahren/R/Quadratische Streckung/Aufgabe

Es sei eine positive reelle Zahl und sei die Heron-Folge zur Berechnung von mit dem Startwert . Sei , , und die Heron-Folge zur Berechnung von mit dem Startwert . Zeige

für alle .