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

Missing theorem

What does the theorem about inverses of continuous strictly monotone functions actually say? They are continuous because they're order isomorphisms. The hardest part is proving they have the domains you want—Connectedness helps, but you also have to show the logarithm gets arbitrarily large and arbitrarily small. --Dfeuer (talk) 02:11, 1 February 2013 (UTC)

I'm working on the theorem in my sandbox, please come help me finish it after I put up the basics. --GFauxPas (talk) 02:55, 1 February 2013 (UTC)