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

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

Formulation F9909 on R4286: Standard natural basic real logarithm function maps one to zero

F9909

Formulation 1

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

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