Real exponential function/Via series/Definition