Natural logarithm/Real/Via exponential function/Definition

Natural logarithm

The natural logarithm

$\ln \colon \mathbb {R} _{+}\longrightarrow \mathbb {R} ,x\longmapsto \ln x,$

is defined as the inverse function of the real exponential function.