1: $.

2: The convergence is guaranteed as in the following theorem.

3: \begin{thm}

4: Let $