> [!NOTE] Theorem > The [[Real Natural Logarithm Function|real natural logarithm]] is [[Strictly Increasing Real Function|strictly increasing]]: that is, for all $x>y>0,$ $\ln(x)>\ln(y).$ **Proof**: Follows directly from [[Inverse of Real Exponential Function Exists, is Strictly Increasing and Continuous]].