Linked from

The 4 pages that link to Legendre's formula, each with the reason it gives.

• Lifting-the-exponent lemmaCompared with: It solves a related valuation problem, but counts prime factors in factorials rather than power differences.