Exact Form of Prime-Counting Function

Theorem

Let:

$\ds \map \Pi x = \map \Li x - \sum_\rho \map \Li {x^\rho} - \map \ln 2 \int_x^\infty \frac {\d t} {t \paren {t^2 - 1} \map \ln t}$

where:

$\map \Li x$ is the offset logarithmic integral

the sum $\ds \sum_\rho$ is taken over all $0 < \rho \in \R$ such that the zeta function $\map \zeta {\alpha i \rho} = 0$ for some $\alpha \in \R$.

Then the prime-counting function is precisely:

$\ds \map \pi x = \sum_{n \mathop = 1}^\infty \paren {\frac {\map \mu n} n \map \Pi {x^{1 / n} } }$

where $\map \mu n$ denotes the Möbius function.

Proof

This theorem requires a proof. You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by crafting such a proof. To discuss this page in more detail, feel free to use the talk page. When this work has been completed, you may remove this instance of {{ProofWanted}} from the code. If you would welcome a second opinion as to whether your work is correct, add a call to {{Proofread}} the page.