1: $

2: 

3: \begin{theorem}  \label{thm:convergence_main}

4: Let $