1: $. 

2: 

3: \begin{thm}[Convergence of Adabound-CAM-HD]

4: Let $