Real Analysis Lecture 10.3 Inverse Function Theorem