OFFSET
1,1
COMMENTS
This sequence starts like A074781 but grows much faster. Observe that there can be large differences between consecutive terms. Can it be shown that there is always such a prime between consecutive powers of 2? Or that this sequence is infinite? By theorem 1 of the Noe paper, this sequence is a subsequence of A135832, primes in Section I of the phi iteration.
From Antti Karttunen, Apr 19 2020: (Start)
Sequence can be considered as a generalization of Fermat primes, A019434, which is a subsequence of this sequence.
All terms with binary weight k (A000120, at least 2 for these terms) can be found as a subset of primes found on the row k-1 of array A334100. E.g. primes with weight 2 are Fermat primes (A019434), those with weight 3 are A334092 (which doesn't contain any other primes), those with weight 4 are in A334093 (among also other kind of primes), those with weights 5, 6, 7 are included as (proper) subsets in A334094, A334095 and A334096 respectively. (End)
LINKS
T. D. Noe, Table of n, a(n) for n=1..2000
T. D. Noe, Primes in classes of the iterated totient function, J. Integer Sequences, 11 (2008), Article 08.1.2.
FORMULA
MATHEMATICA
nn=2^13; t={1}; i=1; While[q=t[[i]]; k=1; While[p=1+q*2^k; p<nn, If[PrimeQ[p], AppendTo[t, p]]; k++ ]; i<Length[t], i++ ]; t=Rest[Sort[t]]
PROG
(PARI)
A000265(n) = (n>>valuation(n, 2));
isA147454(n) = ((n>2)&&isprime(n)&&((1==(n=A000265(n-1)))||isA147454(n))); \\ Antti Karttunen, Apr 19 2020
CROSSREFS
KEYWORD
nonn
AUTHOR
T. D. Noe, Nov 07 2008
STATUS
approved