Smallest k such that 2^(2^n) - 2^k - 1 is prime