a(n) is the least number k such that gpf(k)^n | k and gpf(k+1)^n | (k+1)