OFFSET
1,1
COMMENTS
The zeros -2, -4, -6, ... of the Riemann zeta function are considered trivial. The nontrivial zeros are in the "critical strip" 0 < Re(rho_n) < 1. All of the known nontrivial zeros have real part 1/2. In this sequence, we count the prime numbers less than or equal to the imaginary part of these nontrivial zeros.
The Riemann hypothesis (currently unproven) states that all of the nontrivial zeros have real part 1/2.
LINKS
EXAMPLE
a(8) = 12 because the 8th nontrivial zero of Riemann zeta function is 0.5 + (40.91...)i and there are 12 primes less than or equal to 40.91...; they are 2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, and 37.
MATHEMATICA
f[n_] := PrimePi@ Im@ ZetaZero@ n; Array[f, 70] (* Robert G. Wilson v, Jan 27 2015 *)
CROSSREFS
KEYWORD
nonn
AUTHOR
Omar E. Pol, Feb 03 2013
STATUS
approved