gets the idea

Opgave - IMO 1976 dag 2 vraag 3

De rij $(u_n)_n$ wordt gedefinieerd door: $u0 = 2, u1 = 2.5$ en
$u_{n+1} = u_n(u_{n-1} ^2 -2) - u1$ voor alle $n \in N.$ Bewijs dat voor
alle $n \in N$ geldt:
$\lfloor{ u_n \rfloor} =$ $ 2^{ \frac{ 2^n-(-1)^n} {3} }$