[moefh]

Ah, a vaguely wondered if it had something involving Cauchy sequences, I think that was that limit!

> The way we extend exponentiation to complex exponents is IMHO much less straightforward.

I think it depends on how much you're used to dealing with complex numbers. In college, I was always taught to prove that Euler formula by replacing ix for x in that series, and then noting that the alternating signs and presence/absence of i in the terms allowed you to separate it into two series for cosine and sine. That always felt awkward, like there was no way anyone could just come up with that naturally.

Many years later I found that construction with graphing e^(ix) by taking small steps using f(x+dx)=f(x)+f'(x)*dx, and everything clicked: how exponentials work in the real axis is pretty different from the imaginary axis, but both are completely intuitive and unavoidable once you understand that.

Even later I "discovered" the connection with group theory[1]; that one still blows my mind.

[1] This is a really nice explanation: https://www.youtube.com/watch?v=mvmuCPvRoWQ