OFFSET

1,2

COMMENTS

The sequence exhibits consecutive terms of "nearly doubled primes", namely Cunningham Chains (of the first kind), the first of which is 2,5,11,23,47. Each prime in such a chain, except for the last is a term in A005384, and each prime except the first is a term in A005385. Every chain is terminated by composite number m = 2*q + 1, where q is the last prime in the chain. At this point the sequence resets to the smallest prime which has not yet been seen, from which the next chain is propagated, and so on. Since by definition every prime appears, so does every possible Cunningham chain. A similar (companion) sequence can be defined using a(n+1) = 2*a(n) - 1 for a(n) a prime term.

LINKS

Chris K. Caldwell, Cunningham Chain (PrimePages, Prime Glossary).

Wikipedia, Cunningham chain.

EXAMPLE

a(1) = 1 is not prime, so a(2) = 2, the smallest prime not seen so far. Then a(3) = 2*2 + 1 = 5, a(4) = 2*5 + 1 = 11, and so on, generating the chain 2,5,11,23,47.

47 is not a term in A005384 since 2*47 + 1 = 95 is not prime, after which the sequence resets to 3, the least unused prime so far, from which the next chain 3,7,15 arises, and so on.

As an irregular table (each row after the first beginning with a prime and ending with a nonprime), the sequence begins:

1;

2, 5, 11, 23, 47, 95;

3, 7, 15;

13, 27;

17, 35;

19, 39;

29, 59, 119;

31, 63;

37, 75;

41, 83, 167, 335;

43, 87; ...

MATHEMATICA

a[1]=1; a[n_]:=a[n]=If[PrimeQ@a[n-1], 2a[n-1]+1, k=2; While[MemberQ[Array[a, n-1], k], k=NextPrime@k]; k]; Array[a, 60] (* Giorgos Kalogeropoulos, Nov 02 2021 *)

PROG

(Python)

from sympy import isprime, nextprime

def aupton(terms):

alst, aset = [1], {1}

while len(alst) < terms:

if isprime(alst[-1]):

an = 2*alst[-1] + 1

else:

p = 2

while p in aset: p = nextprime(p)

an = p

alst.append(an); aset.add(an)

return alst

print(aupton(60)) # Michael S. Branicky, Nov 02 2021

CROSSREFS

KEYWORD

nonn,tabf

AUTHOR

David James Sycamore, Nov 01 2021

STATUS

approved