Does this recurrence relation have a solution?

Question

I want to know if there is an explicit solution to the following recurrence relation:

$f(n+1) = \frac{1}{2} (f(n)^2 + 1)$

with the intial condition $f(1) = 3$.

Answer 1

According to http://oeis.org/A053630, it would seem unlikely.