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

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