The Inverse Function Theorem

What conditions guarantee invertibility of functions that map n dimensional Euclidean spaces to n dimensional Euclidean spaces? And what's the derivative of the inverse if it exists? In this lecture, we'll prove the inverse function theorem that answers these questions as well as work out an example with implications for expanding the logarithm in the complex plane.