MathNet 1984 — Part 01 Question 38

The real sequence $\{x_n\}$ is defined by $x_1 = 1$, $x_2 = 1$, $x_{n+2} = x_{n+1}^2 - x_n / 2$. Show that the sequence converges and find the limit.