Angeordneter Körper/Heron-Verfahren/Heron-Folge/Verfahren

Es sei ${}c\in K_{+}$ ein positives Element in einem angeordneten Körper. Die Heron-Folge zum positiven Startwert ${}x_{0}$ ist rekursiv durch

${}x_{n+1}:={\frac {x_{n}+{\frac {c}{x_{n}}}}{2}}\,.$

definiert.