State the explicit formula relating π(x) to the Riemann zeta zeros.
π(x) = li(x) - ∑_ρ li(x^ρ) + small terms
π(x) = x/ln(x)
π(x) = ∑_{n≤x} Λ(n)/ln(n)
π(x) = φ(x)/x