1: $ and \eqref{eq:convergence} holds; $