Niz (an)(a_n)(an) zadan je rekurzivno: a1=2a_1 = 2a1=2, an=2(n+an−1)a_n = 2(n + a_{n-1})an=2(n+an−1) za n⩾2n \geqslant 2n⩾2.
Dokaži da je an<2n+2a_n < 2^{n+2}an<2n+2 za sve n∈Nn \in \mathbb{N}n∈N.