Four Famous Formulas are Equivalent

Abstract

We prove that Wallis’s formula, the Probability Integral formula, Stirling’s formula, and the Central Binomial Coefficient formula are actually pairwise equivalent statements.