For the natural logarithm, define . Its derivative is , negative below one and positive above one. Thus its global minimum is , proving the bound, with equality only at one. Equivalently for ; this also follows from concavity and the tangent line at one.
Articles by others on the same topic
There are currently no matching articles.