Introduction to Alpha-theory 2

I will explain and prove Smale's alpha theorem, that guarantees quadratic convergence of Newton iteration from the data available at the initial point of the iteration.