exponential function derivative proof