\begin{definition}[Definition:Natural Logarithm/Positive Real/Definition 1]
Let $x \in \R$ be a real number such that $x > 0$.
The '''(natural) logarithm''' of $x$ is defined as:
:$\ds \ln x := \int_1^x \frac {\d t} t$
\end{definition}