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.