a(n) is the least k such that k^j+2 is prime for j = 1 to n but not n+1