Wednesday, January 8, 2020

logarithms - Inequality logxlefrac2e,sqrtx



The inequality logx2ex,

where logx denotes the natural logarithm, is used in the proof of Theorem 4.7 in Apostol's Analytic Number Theory.



It seems that the inequality is not very difficult to prove using calculus. We could simply find maximum/minimum of some function like f(x)=2exlogx or g(x)=logxx.




Are there some other methods how this inequality can be proved? Is there a way in which this inequality can be seen more directly, without having to calculate critical points of some auxiliary function?


Answer



With the substitution x=e2(u+1) the inequality
logx2ex

becomes
eu1+u

which is a well-known estimate for the exponential function.

Equality holds if and only if u=0, corresponding to
x=e2 in the original inequality.



() is trivial for u1 and can for example be shown using
the Taylor series for u>1. It also follows – as Jack said in a comment –
from the convexity of the exponential function: the graph lies above
the tangent line at u=0.



(This approach was inspired by Jack D'Aurizio's answer.)


No comments:

Post a Comment

analysis - Injection, making bijection

I have injection f:AB and I want to get bijection. Can I just resting codomain to f(A)? I know that every function i...