Neka je a=20152015a = \sqrt[2015]{2015} i neka je (an)(a_n) niz takav da je a1=aa_1 = a i an+1=aana_{n+1} = a^{a_n} za n1n \geqslant 1.

Postoji li prirodni broj nn takav da je an2015a_n \geqslant 2015?