It's quite some time since we arrived at Riemann's main result, the explicit formula
where is the prime power counting function introduced even earlier. It's high time we applied this!
First, let's take a look at when calculating it exactly:
We've seen the calculus version
of the Euler product, and we know how to express as a product over its roots
High time we put everything together -- the reward will be the long expected explicit formula for counting primes! Continue reading Integral Madness
We've seen that satisfies the functional equation
(Well, it still needs to be proved, but let's just assume it's correct for now.) The goal of this post is an even more symmetrical form that will yield the function which we can develop into an incredibly useful product expression.
On our wish list for we find three items: