Let $s_n$ be a sequence defined recursively by $s_0 = \sqrt{x^2 - x}$ and $s_{n+1} = \sqrt{(x^2 - x) + s_n}$ for $n \in \mathbb{N}$, for some $x \ge 1$. Let $L_x = \lim_{n \to \infty} (2x)^n (x - s_n)$. Then, prove or disprove,
$ \displaystyle \lim_{x \to \infty} L_x = \dfrac{1}{2}$