Let a=20152015. Note that a>1 since 2015>1.
We have a1=a and an+1=aan for n≥1.
Let us compute the first few terms:
a1=a
a2=aa1=aa
a3=aa2=aaa
and so on.
Let us try to estimate an and see if it can ever reach 2015.
First, note that a=20151/2015.
Let us compute a numerically:
lna=20151ln2015
ln2015≈7.616 (since ln2000≈7.601)
So lna≈20157.616≈0.00378
Thus, a≈e0.00378≈1.00379
So a is just slightly greater than 1.
Now, a2=aa≈(1.00379)1.00379
Let us compute lna2=alna≈1.00379×0.00378≈0.00379
So a2≈e0.00379≈1.00380
Similarly, a3=aa2≈(1.00379)1.00380
lna3=a2lna≈1.00380×0.00378≈0.00380
So a3≈e0.00380≈1.00381
We see that an increases extremely slowly.
Let us try to estimate how large an can get.
Suppose an≈1+cn, where cn is very small.
We see that an+1=aan=eanlna≈e(1+cn)⋅c1, where c1=lna≈0.00378.
So an+1≈ec1+cnc1≈1+c1+cnc1 (using ex≈1+x for small x).
Thus, cn+1≈c1+cnc1
Let us try to see how cn grows:
Let c1=lna≈0.00378
c2≈c1+c12≈0.00378+(0.00378)2≈0.00378+0.0000143≈0.003794
c3≈c1+c2c1≈0.00378+0.003794×0.00378≈0.00378+0.00001435≈0.0037944
So cn increases by about 0.000014 each time, which is extremely slow.
To reach an≥2015, we need an≥2015, i.e., cn≥2014.
But cn increases by about 0.000014 per step, starting from 0.00378.
So the number of steps required is roughly 0.0000142014≈144,571,429 steps.
But actually, the increment per step increases slightly, but still, the growth is extremely slow.
Therefore, for all practical purposes, an will never reach 2015 for any reasonable n.
Thus, the answer is:
No, there does not exist a positive integer n such that an≥2015.