Upper Bound of Natural Logarithm/Proof 1

Proof
From Logarithm is Strictly Concave:
 * $\ln$ is (strictly) concave.

From Mean Value of Concave Real Function:
 * $\ln y - \ln 1 \le \left({D \ln 1}\right) \left({y - 1}\right)$

From Derivative of Natural Logarithm:
 * $D \ln 1 = \dfrac 1 1 = 1$

So:
 * $\ln y - \ln 1 \le \left({y - 1}\right)$

But from Logarithm of 1 is 0:
 * $\ln 1 = 0$

Hence the result.