Let $x \mapsto \log x$ be the D865: Standard natural real logarithm function.
Then
\begin{equation}
\lim_{x \searrow 0, \, x \neq 0} \frac{\log(1 + x)}{x}
= 1
\end{equation}
Result R2658
on D865: Standard natural real logarithm function
Subresult of R4675: Standard real logarithm function grows linearly near 1
Subresult of R4675: Standard real logarithm function grows linearly near 1
Standard natural real logarithm function grows linearly near 1