1: $

2: \end{restatable}	

3: The convergence result for $