Real exponential function/Characterization with derivative/Exercise