1: $ as given in~\cref{thm: precise convergence}. Then, there exists $