Slick proof of Stirling's Formula? In Upper Limit on the Central Binomial Coefficient, Noam Elkies and David Speyer have given a nice proof that the central binomial coefficient $\binom{2n}{n} \sim \frac{4^n}{\sqrt{\pi n}}$. This can be used to derive Stirling's formula
$$ a_n = \frac{n!e^n}{n^n \sqrt{n}} \sim \sqrt{2\pi} $$
by showing that $a_n$ is decreasing, hence convergent to some positive real number $c$, and computing $c$ via
$$ c = \lim_{n \to \infty} \frac{a_n^2}{a_{2n}} = \sqrt{2\pi}. $$
My question is whether we can do without this roundabout tour and prove Stirling's formula directly along the lines of the proofs quoted above.
 A: The proof in the OP based on the sequence $a_n$ is proof number 1 in Steve Dunbar's Dozen Proofs of Stirling’s Formula (page 8, worked out here). Is there an alternative proof based on a sequence $b_n$ that does not require knowledge of Stirling's formula to construct the sequence?
Proof number 2 in that list gives such an alternative, based on $b_n=\sum_{k=1}^n\log k=\log n!$ Approximation of the sum by the integral gives
$$b_n\approx \int_0^n\log x\,dx+\text{error}=n\log n -n+\text{error}.$$
The calculation of the error term, to obtain the asymptotic $\log\sqrt{2\pi n}$, can be done using the Euler-MacLaurin formula.$^\ast$
If we prefer not to use Euler-MacLaurin, proofs number 3 and 4  start from  the same sequence and then approximate the sum by an integral using the trapezoidal rule or a Taylor series. These calculations are worked out in Dunbar's notes.
$^\ast$ Dunbar credits this proof to John Todd, Introduction to the Constructive Theory of Functions (1963).
A: A very elementary proof of Stirling's formula is found here or the article by M. R. Murty and K. Sampath, "A very simple proof of Stirling's formula", The Mathematics Student, Vol. 84, Nos. 1-2, January-June (2015), 129–133.
This link outlines how this proof can be done essentially in three elementary steps, with the additional assumption that we know Wallis product formula for $\pi$ (that can be proved easily by integrating $\sin ^n (x)$, see for example the Wikipedia entry). I believe this to be the most elementary proof found anywhere. It requires nothing beyond elementary Calculus.
