Logarithm tangent bound
ID: logarithm-tangent-bound
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.
New to topics? Read the docs here!