Neka je (an)(a_n)(an) niz pozitivnih realnih brojeva takav da je a1=1a_1 = 1a1=1 i an+12+an+1=ana_{n+1}^2 + a_{n+1} = a_nan+12+an+1=an za sve n∈Nn \in \mathbb{N}n∈N. Dokaži da je an⩾1na_n \geqslant \frac{1}{n}an⩾n1 za sve n∈Nn \in \mathbb{N}n∈N.