Exponential series/Real/Absolute convergence/Fact/Proof