Real exponential function via exponential series/Introduction/Section