Legendre's Formula

http://www.cut-the-knot.org/wiki-math/index.php?n=Arithmetic.LegendresFormula

Infinitude of Primes from Legendre's Formula

http://www.cut-the-knot.org/wiki-math/index.php?n=Arithmetic.InfinitudeOfPrimesFromLegendresFormula