1: $, and we can apply \cref{thm:exponential_convergence_functions} because $