OFFSET
1,1
COMMENTS
Primes prime(k) such that prime(k) <= A007443(2k-1)/2^(2k-2), where prime(k) is the k-th prime and A007443 is the binomial transform of primes.
Though the average uses all primes from 2 to prime(2k-1), their influence is substantially weighted towards the primes nearer to prime(k).
Some previously studied sets of primes that depend on each prime's relationship with a broad neighborhood of primes, e.g., convex hull primes (A319126) and A124661, can be shown to be subsets of these timely primes, and some other such sets, e.g., popular primes (A385503), look likely to be shown to be subsets too.
Comments about density within the primes: (Start)
The progressive decrease in density of the primes means this weighted average we are using might be seen as slightly biased so that primes that are "only approximately on time" qualify for the sequence. Nevertheless, this bias in the average seems to be significantly less than 0.5, slowly decreasing with index, and the author expects an analytically derivable asymptote (for the bias) of about 0.25. See also the comments in A302334.
The early race behavior (timely primes v. their complement within the primes) looks like races where the chosen subset's relative asymptotic density is 0.5 and where this subset is ahead except for occasional relatively short excursions where the complement takes over. Here, timely primes are ahead for more than 80% of the indices up to the 500th prime; they then lead continuously up to the 10000th prime, where their lead has fallen below 50 after a peak greater than 200. See the graph in the links. (End)
LINKS
Peter Munn, Table of n, a(n) for n = 1..2000
Peter Munn, PARI program
Peter Munn, Graph of race against complement within primes
FORMULA
{a(n) : n >= 1} = {prime(k) : k >= 1 and prime(k) <= A302334(k)}.
EXAMPLE
The binomially weighted averages can be computed by taking progressive averages as shown in the table below:
n prime |<- progressive averages ... ->
-------------------------------------------
1: _2_ the _underlined_ values are the averaged primes
5/2
2: 3 _13/4_ <-- 13/4 is thus the 2nd averaged prime
4 33/8
3: 5 5 _83/16_ <-- 83/16 is thus the 3rd averaged prime
6 25/4 ...
4: 7 15/2 ... <-- 15/2 is the average of 6 and 9
9 ...
5: 11 ...
...
3 is less than 13/4, so 3 is in the sequence.
5 is less than 83/16, so 5 is in the sequence.
If we continue the average table above, we find the 5th averaged prime is 10 + 147/256, and the 5th prime, 11, is greater than this, so 11 is not in the sequence.
PROG
(PARI) \\ See Links
CROSSREFS
KEYWORD
nonn
AUTHOR
Peter Munn, Jul 11 2025
STATUS
approved