cp's OEIS Frontend

A232565 a(n) is the smallest k such that 2^(2^n) - 2^k - 1 is prime, or -1 if no such k exists.

%I A232565 #36 Feb 16 2024 14:46:11
%S A232565 0,1,2,4,2,8,18,76,32,151,692,592,154,580,27365,11267
%N A232565 a(n) is the smallest k such that 2^(2^n) - 2^k - 1 is prime, or -1 if no such k exists.
%C A232565 Crocker showed that 2^(2^n) - 1 - 2^a - 2^b is not prime (with n > 2) if a and b are distinct. This sequence demonstrates that the theorem is sharp in the sense that distinctness is required.
%C A232565 If n > 2, then the (largest) prime P(n) = 2^(2^n)-2^a(n)-1 is a de Polignac number (A065381); i.e., P(n)-2^m is not prime. It seems that if n > 6, then |P(n)-2^m| is composite for every natural m and P(n)*2^m-1 is composite (by the dual Riesel conjecture). So if n > 6, then the prime P(n) may be a Riesel number (A182296). For example, the prime P(7) = 2^(2^7)-(2^18+1) is the first candidate (note that 2^18+1 is the smallest de Polignac number of form 2^k+1). Also, by Crocker's theorem, the smallest number of form 2^(2^n)-2^m-1, namely 2^(2^n-1)-1 is a de Polignac number (A006285) and for n > 6 may be a dual Riesel number (A101036). For example, the double Mersenne prime 2^(2^7-1)-1 probably is a dual Riesel number. It is not known whether these are Riesel numbers with a covering set. - _Thomas Ordowski_, Jan 24 2024
%H A232565 Roger Crocker, "<a href="http://projecteuclid.org/euclid.pjm/1102971271">On the sum of a prime and of two powers of two</a>", Pacific Journal of Mathematics 36:1 (1971), pp. 103-107.
%o A232565 (PARI) a(n)=my(N=2^2^n-1);for(a=1,2^n-1,if(ispseudoprime(N-2^a), return(a)));0
%Y A232565 Cf. A156695.
%K A232565 nonn,hard,more
%O A232565 1,3
%A A232565 _Charles R Greathouse IV_, Nov 26 2013
%E A232565 a(15) from _Charles R Greathouse IV_, Dec 02 2013
%E A232565 a(16) from _Daniel Suteu_, Oct 11 2020
%E A232565 Name edited by _Thomas Ordowski_, Jan 24 2024