a_{n+1}=\frac{a_n^2+1}{2}