Niz (an)(a_n) zadan je rekurzivno: a1=2a_1 = 2, an=2(n+an1)a_n = 2(n + a_{n-1}) za n2n \geqslant 2.

Dokaži da je an<2n+2a_n < 2^{n+2} za sve nNn \in \mathbb{N}.