Heron-Verfahren/Unterschiedliche Startwerte/Differenz ist Nullfolge/Aufgabe

Es sei ein angeordneter Körper und . Es seien Startwerte und bzw. die zugehörigen Heron-Folgen zur Berechnung von . Zeige, dass eine Nullfolge ist.