The standard natural real logarithm function is the D4364: Real function
\begin{equation}
\log : (0, \infty) \to \mathbb{R}, \quad
\log(x) = \int^x_1 \frac{1}{t} \, d t
\end{equation}
The standard natural real logarithm function is the D4364: Real function
\begin{equation}
\log : (0, \infty) \to \mathbb{R}, \quad
\log(x) = \int^x_1 \frac{dt}{t}
\end{equation}
The standard natural real logarithm function is the D4364: Real function
\begin{equation}
\log : (0, \infty) \to \mathbb{R}, \quad
\log(x) = \int^x_1 t^{-1} \, d t
\end{equation}
