Any formula for the exact number of primes below a given bound?

231 Views Asked by At

Reading The music of the primes, the author relates that Riemann had figured out a formula giving exact number of primes up to a certain bound with no errors.

Does such formula really exist? If yes, was it proven?