Hello related to this Inequality with power and logarithm we have got this : $$\lim\limits_{n \to \infty}(\frac{ln(x)+2n}{2n-1+x})^n=e^{1/2 - x/2} \sqrt{x}=f(x) $$ So I was wondering : What's the value of the integral of $f(x)$? And Wolfram Alpha says : $$\int_{0}^{\infty} e^{1/2 - x/2} \sqrt{x} dx = \sqrt{2 e \pi}≈4.13273$$
But I have not the level to prove this . So what's your finest method to prove this ?
Thanks a lot.