VMO 2013 — National examination, both days Question 2

Let $a_1=1$ and
$$a_{n+1}=3-\frac{a_n+2}{2^{a_n}}\qquad(n\ge1).$$
Prove that $(a_n)$ has a finite limit and find it.