Real exponential function/Derivative/Fact/Proof

Proof

Due to fact, we have