The prime counting function can be written as a main term plus
a sum of wave-like "corrections",
one for each nontrivial zero of the Riemann zeta function: