Talk:Exponential Function is Continuous/Real Numbers/Proof 1

Unless I am missing something obvious, this proof is not complete.

Perhaps the author is interchanging limits without giving reasoning. If this is the case, I've supplied the site with the Moore-Osgood Theorem and a proof that the defining sequence of $\exp$ is uniformly convergent on compact sets which will allow him/her to do this quite easily. --Keith.U 13:44, 11 June 2016 (UTC)

You may well be right -- Anghel did some good work populating the db with a lot of complex analysis work, but we haven't heard from him for a while, he may have moved on. Please feel free to add whatever needs to be done to complete this proof, and (as you seem to have found your way around and settled in nicely) continue to flesh out this area as you like. --prime mover (talk) 18:30, 11 June 2016 (UTC)

Notice my renaming here -- this proof rests completely on the results established for real numbers. --prime mover (talk) 05:14, 13 June 2016 (UTC)