An inequality regarding Beta function/Gamma functions.

beta functiongamma functioninequality

Is there a way to mathematically show that

$$ \frac{1}{q} > 2^q \left( \frac{\Gamma(q)\Gamma(q+1)}{\Gamma(2q+1)} \right)$$

for all $1 < q < \infty$? This is true by plotting this on Mathematica/Desmos, but I can't seem to find an analytic proof for this. I have also noticed that $\left( \frac{\Gamma(q)\Gamma(q+1)}{\Gamma(2q+1)} \right)$ is nothing but $\text{Beta}(q,q+1)$ but I can't seem to find any relevant facts that I can use to prove this. Any help would be appreciated. Thanks!

Best Answer

When $q > 2$, see @Gary's comment.

When $1 < q \le 2$, we have \begin{align*} \frac{\Gamma(q)\Gamma(q + 1)}{\Gamma(2q + 1)} &= \int_0^1 t^q (1 - t)^{q - 1}\mathrm{d} t \\ &= \int_0^{1/2} t^q (1 - t)^{q - 1}\mathrm{d} t + \int_{1/2}^1 t^q (1 - t)^{q - 1}\mathrm{d} t \\ &= \int_0^{1/2} t^q (1 - t)^{q - 1}\mathrm{d} t + \int_0^{1/2} (1 - t)^q t^{q - 1}\mathrm{d} t \\ &= \int_0^{1/2} t^{q- 1} (1 - t)^{q - 1}\mathrm{d} t\\ &\le \int_0^{1/2} t^{q- 1} (1 - (q - 1)t)\mathrm{d} t\\ &= \frac{-q^2 + 3q + 2}{2^{q + 1}q (q + 1)} \end{align*} where we have used Bernoulli inequality to get $(1 - t)^{q - 1} \le 1 - (q - 1)t$. Thus, we have $$q 2^q \frac{\Gamma(q)\Gamma(q + 1)}{\Gamma(2q + 1)} \le \frac{-q^2 + 3q + 2}{2 (q + 1)} < 1.$$

We are done.