Real Exponential function/Continuity and image/Fact/Proof