Neka je a=20152015a = \sqrt[2015]{2015}a=20152015 i neka je (an)(a_n)(an) niz takav da je a1=aa_1 = aa1=a i an+1=aana_{n+1} = a^{a_n}an+1=aan za n⩾1n \geqslant 1n⩾1.
Postoji li prirodni broj nnn takav da je an⩾2015a_n \geqslant 2015an⩾2015?