1: $ satisfies the condition in \eqref{thm:convergence_stepsize_condition}, $