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!