Square root, expressed as the limit of a sequence

Let $c\in \mathbb{R}$ be a real. The sequence defined recursively below converges, and it converges to $\sqrt{c}$.

Let $x_1=c$, and let $x_n$ be defined like so: