The logarithmic function lnx may be defined for positive x as follows:
It can equally be defined as the inverse function of the exponential function. lnx is differentiable and increasing with derivative 1/x.
Further, lnx = logex satisfies properties (i)–(v) listed under logarithm.