Properties of the exponential function