Define a sequence recursively by a₁=4 and a_n+1=sqrt(4+sqrt(a_n))

Prove lim n->inf exists