Taylor expansion of e^x

Stream: Is there code for X?

[Michail Karatarakis]

Do we have the Taylor expansion for the exponential function expressed as a sum ?
$e^x =1 + x + \frac{x^2}{2!} + \frac{x^3}{3!} + \frac{x^4}{4!}+\cdots$

[Kevin Buzzard]

This is the definition of docs#Complex.exp so hopefully what you want should be rfl. If it's not then can you write a #mwe ?