Real exponential function/Base/Via logarithm/Definition