4

What are common lower bounds for ${{2n} \choose {n}}$?


Edit: I made a mistake in my original question.

It doesn't change my question but there is no reason for me to include the mistake.

Larry Freeman
  • 10,189

3 Answers3

7

Using the bounds from this answer, we have $$ \frac{4^n}{\sqrt{\pi\left(n+\frac13\right)}}\le\binom{2n}{n}\le\frac{4^n}{\sqrt{\pi\left(n+\frac14\right)}} $$

robjohn
  • 353,833
  • good; from Stirling's, the squared denominator keeps an extra $\sqrt n$ compared with the denominator. I wasn't sure yet – Will Jagy Mar 20 '18 at 19:44
  • @robjohn is this a better estimator than Stirling's? – user Mar 20 '18 at 20:01
  • 1
    @gimusi: you can easily notice that $\frac{1}{\sqrt{\pi}}>\frac{2\sqrt{\pi}}{e^2}$, hence robjohn's bound is sharper than yours. Also because the constant in robjohn's answer is optimal. – Jack D'Aurizio Mar 20 '18 at 20:07
  • @JackD'Aurizio oh yes of course! Indeed it is a very narrow bound. I will take a look to the derivation. Thanks – user Mar 20 '18 at 20:09
  • @Jack D'Aurizio In wich sense is the constant optimal? Is 1/3 the smallest posible real number, such that the inequality holds for all $n$? – user Mar 20 '18 at 21:03
  • @user: I meant that the constant $\frac{1}{\sqrt{\pi}}$ is optimal, since $$ \lim_{n\to +\infty}\frac{\sqrt{n}}{4^n}\binom{2n}{n}=\frac{1}{\sqrt{\pi}}.$$ Notice that $\sqrt{\pi}=\Gamma\left(\frac{1}{2}\right)$, and indeed the identity above follows from Legendre's duplication formula for the $\Gamma$ function. – Jack D'Aurizio Mar 20 '18 at 21:12
  • 1
    @user: note that $\lim\limits_{n\to\infty}\left[,\raise{4pt}{\frac{16^n}{\pi\binom{2n}{n}^2}}-n,\right]=\frac14$, so the $\frac14$ in the upper bound is optimal. The $\frac13$ in the lower bound can be replaced by $\frac1\pi$ and the inequality will still be valid for $n\ge0$. – robjohn Mar 20 '18 at 21:29
  • @robjohn Indeed. And $1/\pi$ looks even better than $1/3$. – user Mar 20 '18 at 21:36
4

Using Stirling's bound

$$\sqrt{2\pi}\ n^{n+\frac12}e^{-n} \le n! \le e\ n^{n+\frac12}e^{-n}$$

we obtain

$$\binom{2n}{n}=\frac{(2n)!}{n!^2}\ge\frac{\sqrt{2\pi}\ (2n)^{2n+\frac12}e^{-2n}}{e^2\ n^{2n+1}e^{-2n}}=\frac{\sqrt{2\pi}\ 2^{2n}2^{\frac12}n^{2n+\frac12}}{e^2\ n^{2n+1}}=\frac{2\sqrt{\pi}}{e^2}\frac{4^n}{\sqrt n}$$

user
  • 162,563
2

Erdös had a really nice lower bound, which he used in his proof of Bertrand's Postulate: $4^n/2n \leqslant {{2n}\choose{n}}$. This follows because \begin{align*} (1+1)^{2n}=\sum_{k=0}^{2n} {{2n}\choose{k}} < 1+2n{{2n}\choose{n}} \end{align*} and then $4^n \leqslant 2n{{2n}\choose{n}}$. In fact the bound can be strengthened without too much difficulty to give $4^n/n \leqslant {{2n}\choose{n}}$.

Edit: The stronger bound only holds for $n \geqslant 4$.