1: $

2: \item[Step 2 (Convergence)]

3: We then prove that  as $