Let $u_0 \in \mathbb{N}^{*}$ and $(u_n)$ such that $u_{n+1}=1+u_n^2$.
I've shown that the sequence $\displaystyle \left(\frac{\ln\left(u_n\right)}{2^n}\right)$ converges and I wonder if it possible to find its limit $\ell$
For example, if $u_0=1$ then $\ell \approx 0.40735$, if $u_0=15$ then $\ell \approx 2.7103$.