Riemann explicit formula (1859)

Riemann 1859: psi(x) = x - sum_rho x^rho/rho - log(2pi) - 1/2 log(1-x^-2); links prime-counting to nontrivial zeros rho of zeta; basis of analytic prime-distribution theory.