ThmDex – An index of mathematical definitions, results, and conjectures.

ThmDex – An index of mathematical definitions, results, and conjectures.

Result R4286 on D865: Standard natural real logarithm function

Standard natural basic real logarithm function maps one to zero

Formulation 0

Let $x \mapsto \log x$ be the D865: Standard natural real logarithm function.

Then \begin{equation} \log 1 = 0 \end{equation}

Formulation 1

Let $x \mapsto \ln x$ be the D865: Standard natural real logarithm function.

Then \begin{equation} \ln 1 = 0 \end{equation}