# Applying the Explicit Formula

It's quite some time since we arrived at Riemann's main result, the explicit formula

where $J(x)$ is the prime power counting function introduced even earlier. It's high time we applied this!

First, let's take a look at $J(x)$ when calculating it exactly: