1: $

2: \end{lemm}

3: \begin{proof}

4: The convergence for $