  Stirling's formula is a powerful asymptotic approximation of the factorial
function. Many well-known proofs of this formula are grounded in integral
calculus. In this paper, we present an alternative proof of Stirling's formula
using only limits and the Wallis product.
