Let $x\in(0,\pi/2)$ and $\{a_n\}_{n\in\mathbb N}$ defined recursively as follows: $$ a_0=x, \quad \text{and} \quad a_{n+1}=\sin(a_n). $$ Show that $$ \lim_{n\to\infty}{n\,a_n^2}=3. $$
Note. There is a very strong numerical evidence that the above is valid, and the limit is independent of the initial choice of $a_0$. I have no idea where to start from.