1: $.

2: 

3: 

4: \begin{thm} \label{numerical convergence}

5: Assume $