# Exercise C.1.13

$\star$ Use Stirling's approximation to prove that

$$\binom{2n}{n} = \frac{2^{2n}}{\sqrt{\pi n}}(1 + \mathcal{O}(1/n))$$

So:

\begin{aligned} \binom{2n}{n} &= \frac{(2n)!}{n!(2n-n)!} = \frac{(2n)!}{(n!)^2} \\ &= \frac{\sqrt{2 \pi 2 n}\big(\frac{2n}{e}\big)^{2n}\Big(1 + \Theta(\frac{1}{n})\Big)} {2 \pi n \big(\frac{n}{e}\big)^{2n}\Big(1 + \Theta(\frac{1}{n})\Big)^2} \\ &= \frac{1}{\sqrt{\pi n}} \frac{2^{2n}n^{2n}}{n^{2n}}(1 + \mathcal{O}(1/n)) \\ &= \frac{2^{2n}}{\sqrt{\pi n}}(1 + \mathcal{O}(1/n)) \end{aligned}

There is a little hand-waving at the end, but it is good enough.
{"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 1, "mathjax_display_tex": 1, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0, "katex": 0, "math-container": 0, "wp-katex-eq": 0, "align": 0, "equation": 0, "x-ck12": 0, "texerror": 0}