A Calculus I version of the Inverse Function Theorem, along with an informal explanation (not really a formal proof).
