Real exponential function/Continuity and image/Fact/Proof