The antiderivative of the exponential function (formula with example)