Let $x \mapsto e^x$ be the D1932: Standard natural real exponential function.

Then \begin{equation} \lim_{x \searrow 0, \, x \neq 0} \frac{e^x - 1}{x} = 1 \end{equation}