1: $.

2: We check the assumptions of Theorem~\ref{thm:convergence}:

3: Indeed, $