Exponential and logarithmic functions
If is any positive real number other than 1, the base exponential function is one-to-one. It therefore has an inverse. Its inverse is called the logarithm function with base .
Definition. The logarithm function with base , , is the inverse of the base exponential function .