OFFSET
1,2
COMMENTS
1. j = k is forbidden.
2. gcd(j,k) = 1 is forbidden.
3. All terms in s are distinct.
These constraints confine prime j to the relationship j | k, which in the context of s, implies j < k and increase. The least k > j such that j | k is 2j, giving rise to Cunningham chains of the first kind. The chains are evident in this sequence as series of consecutive positions in s.
LINKS
Chris Caldwell's Prime Glossary, Cunningham chains.
Michael De Vlieger, Extended table of n, a(n) for n = 1..45450
Eric Weisstein's World of Mathematics, Cunningham Chain.
EXAMPLE
s(1) = 1, thus j = s(1)+1 = 2, which is prime, therefore a(1) = 1.
s(2) = 4; j = 5, thus a(2) = 2, etc.
MATHEMATICA
c[_] = 0; j = m = 2; m = 1 + {1}~Join~Reap[Do[If[IntegerQ@ Log2[i], While[c[m] > 0, m++]]; Set[k, m]; While[Or[c[k] > 0, k == j, GCD[j, k] == 1], k++]; Sow[k]; Set[c[k], i]; j = k + 1, {i, 245}]][[-1, -1]]; Position[m, _?PrimeQ][[All, 1]]]
CROSSREFS
KEYWORD
nonn
AUTHOR
Michael De Vlieger, Nov 16 2021
STATUS
approved