In my research I came upon a recursively defined sequence, and I'm pretty sure it converges to $\sqrt{2}$ though I can't prove it easily. I don't think it is a difficult question but I'm not sure.
Consider the following sequence of functions over $\mathbb{R}$, where it makes sense:
$f_0(x)=0$,
$\displaystyle f_{n+1}(x)=\frac{1}{2(x-f_n(x))}\hspace{1cm}$ ($n\geq 0)$.
Now let us define the sequence $(x_n)$ by $\displaystyle x_n:=\max\left\{y\in[0,\sqrt{2}[\,:\quad y=\frac{1}{2y}+f_n(y)\right\}$.
Question: is is true that $x_n\rightarrow\sqrt{2}$ when $n\rightarrow +\infty$?
Numerical evidence strongly suggest that, and it completely makes sense with the problem it originated from. The issue is that the functions $f_n$ have more and more poles as $n$ grows, and there is no function it converges to. It looks like the set of the poles of $f_n$ tends to be dense in $[-\sqrt{2},\sqrt{2}]$ when $n\rightarrow +\infty$, and $f_n$ is always decreasing outside of the poles. The poles seem to accumulate more around $\pm\sqrt{2}$ than around $0$.
For visual reference, one can see a graph of $f_{10}$ here
In advance, thank you for your interest/time.
Edit: I added the fact that I'm only interested in the $y\in[0,\sqrt{2}[$. I don't care what happens outside the interval since then it's trivial.