# Category:Definitions/Logarithms

Let $x \in \R$ be a real number such that $x > 0$.
The (natural) logarithm of $x$ is defined as:
$\displaystyle \ln x := \int_1^x \frac {\d t} t$