Exponential series/Real/Definition