1: $.

2: 	}

3: 	

4: \end{algorithm}

5: \begin{theorem}[Convergence of $