[seqfan] A083371 = A124583
Don Reble
djr at nk.ca
Sat Jan 22 19:41:15 CET 2022
Seqfans:
> %N A083371 Primes satisfying f(2*p)=p when f(1)=7 (see comment).
> %C ...start from any initial value f(1) >= 2 and define f(n) as the
> largest prime factor of f(1)+f(2)+...+f(n-1)...
> %C Is this the same sequence as A124583?
> %N A124583 Primes p such that q-p >= 8, where q is the next prime
> after p.
(Here, X' is the first prime after X, 'X is the first prime before X.)
The F sequence starting at "7" has 11 "7"s, then 6 "11"s, 6 "13"s,
6 "17"s, 6 "19"s, 10 "23"s, ...
One easily sees that the F sequence starting at prime S has S' instances
of S; then for each prime P after S, it has (P'-'P) instances of P.
(A076973 is the F sequence starting at "2".)
The primes from S to P occupy the first
[S' + (S''-S) + (S'''-S') + ... + (P' - 'P)] terms of F.
That sum telescopes to P'+P-S, and so
F(P'+P-S) = P; F(P'+P-S+1) = P';
F(P+'P-S) = 'P; F(P+'P-S+1) = P.
If F(X) =P, then P+'P-S < X <= P'+P-S.
If F(2P)=P, then P+'P-S < 2P <= P'+P-S
'P < P+S <= P'
S <= P'-P
So A083371 has the primes P for which P'-P >= 7;
and since P'-P is even (both primes are odd), P'-P >= 8.
That's A124583.
--
Don Reble djr at nk.ca
More information about the SeqFan
mailing list