A337978 a(n) = n + pi(n) - pi(n + pi(n)), where pi(n) is the prime count of n (n>=1).

1, 1, 2, 3, 4, 5, 6, 7, 7, 8, 10, 10, 11, 12, 13, 14, 15, 16, 18, 19, 19, 20, 21, 22, 23, 24, 25, 25, 27, 28, 29, 29, 30, 31, 32, 32, 34, 35, 36, 37, 38, 39, 41, 42, 42, 43, 44, 45, 46, 47, 48, 48, 50, 51, 51, 52, 52, 53, 55, 56, 57, 58, 59, 60, 60, 61, 63

Offset

1,3

Comments

It seems that this is a nondecreasing sequence and a(n) < n for n >= 2.

Proofs of the above observations are provided in the Links below.

Links

Robert Israel, Table of n, a(n) for n = 1..10000

Ya-Ping Lu, Proofs of the two observations in the Comments section

Formula

a(n) = n + pi(n) - pi(n + pi(n)).

Maple

f:= n -> n + numtheory:-pi(n) - numtheory:-pi(n + numtheory:-pi(n)):
map(f, [$1..100]); # Robert Israel, Feb 12 2024

Mathematica

pc[n_]:=With[{c=PrimePi[n]}, n+c-PrimePi[n+c]]; Array[pc, 70] (* Harvey P. Dale, Jan 18 2024 *)

Prog

(Python)
from sympy import primepi
print(1)
n = 2
for n in range(2, 10001):
    n_f = n + primepi(n)
    a = n_f - primepi(n_f)
    print(a)
(PARI) a(n) = {my(x = n + primepi(n)); x - primepi(x); } \\ Michel Marcus, Oct 06 2020

Crossrefs

Cf. A000720, A062298, A095117, A337979.

Sequence in context: A309082 A124808 A238401 * A332713 A017862 A265539

Adjacent sequences: A337975 A337976 A337977 * A337979 A337980 A337981

Keyword

nonn

Author

Ya-Ping Lu, Oct 06 2020

Status

approved