Talk:Integral Form of Gamma Function equivalent to Euler Form

From ProofWiki
Jump to navigation Jump to search

This inequality is a consequence of log-convexity of $\Gamma$ and can not be verified by direct calculation. Please prove me wrong if you can! --Milen

You're absolutely right. The core of the problem is actually Definition:Gamma Function: Some of the definitions should be theorems, and equivalence proofs are often very risky because one cannot use any properties about $\Gamma$ at that point if you don't want to run into circularity problems. Recently a similar problem has been solved for Definition:Riemann Zeta Function; see Definition talk:Riemann Zeta Function.
If you have suggestions for what to do with $\Gamma$, I'll be happy to discuss it. --barto (talk) (contribs) 14:46, 28 November 2017 (EST)