Real exponential function/Derivative/Fact

The exponential function

is

differentiable with