1: $.

2: \end{lemma}

3: 

4: We now have the following theorem about the convergence rate for

5: $