1: $ be as in Lemma~\ref{lem:quantitative convergence} and let $