Let c ∈ R + {\displaystyle {}c\in \mathbb {R} _{+}} denote a positive real number. The Heron-sequence, with the positive initial value x 0 {\displaystyle {}x_{0}} , is defined recursively by