Natural Logarithm of 2 is Greater than One Half/Proof 1

Lemma

 * $\ln 2 \ge \dfrac 1 2$

where $\ln$ denotes the natural logarithm function.

Proof
Let $f: \R_{>0} \to \R$ be the real function defined as:
 * $\forall x \in \R_{>0}: f \left({x}\right) = \dfrac 1 x$

From Real Rational Function is Continuous, $f \left({x}\right)$ is a continuous real function, in particular on the closed interval $\left[{a \,.\,.\, b}\right]$.

Hence the Mean Value Theorem for Integrals can be applied:

There exists some $k \in \left[{1 \,.\,.\, 2}\right]$ such that:

Thus: