1: \begin{proof}

2:   The bounds (\ref{eq:qce:stab_final}) and (\ref{eq:qce:stab_final3})

3:   are rigorous provided $\delta$ is sufficiently small so that $F -

4:   \smfrac12 \delta_1$ is bounded away from zero. Moreover, if $\delta$

5:   is sufficiently small, then Lemma \ref{th:asymptotic_expansion}

6:   gives a rigorous bound for the error $\| (y_{{\rm qce}, F} - \hat{y}_{\rm

7:     qce})' \|_{\ell^\infty}$ which only adds an additional

8:   $O(\delta^2)$ error to the estimate.

9: \end{proof}

10: