Logarithm inequality (source code)

= Logarithm inequality

For $x>0$, <concavity> of the <natural logarithm> gives
$$
\ln x\leq x-1.
$$
Equivalently, $\log_bx\leq(\log_be)(x-1)$ for $b>1$.