  We use well-known limit theorems in probability theory to derive a
Wallis-type product formula for the gamma function. Our result immediately
provides a probabilistic proof of Wallis's product formula for $\pi$, as well
as the duplication formula for the gamma function.
