Gamma-ratio bound $2^{\frac{k-r-1}2}\Gamma(\frac{k+1}2)/(\Gamma(\frac r2)\Gamma(k-r+1))\le(\frac{k+r}2)^{\frac{k-r+1}2}/(2\Gamma(k-r+1))$

Initializing...

Gamma-ratio bound $2^{\frac{k-r-1}2}\Gamma(\frac{k+1}2)/(\Gamma(\frac r2)\Gamma(k-r+1))\le(\frac{k+r}2)^{\frac{k-r+1}2}/(2\Gamma(k-r+1))$ · Prove2Me