1: $ come from Theorem~\ref{thm:superconvergence} and $