1: \begin{proof}

2: %The proof is computer-assisted and the codes can be found in the supplementary material. 

3: %\begin{enumerate}

4: %\item Since $\pa_{t} \pa_{\alx} z^{1}_{\ep}(0,0)$ is a continuous function of $A(\ep)$, all we have to do is to check that the signs of $\pa_{t} \pa_{\alx} z^{1}_{\ep}(0,0)$ for $A(\ep) = 1.08050$ and for $A(\ep) = 1.08055$ are different for every $0 \leq \ep \leq 10^{-6}$. In particular, we obtain the following bounds:

5: %\begin{align*}

6: %\pa_{t} \pa_{\alx} z^{1}_{\ep}(0,0) \in 0.000^{01}_{27}%[ 0.00001996941, 0.00026671564]

7: %& \text{ for } A(\ep) = 1.08050, \quad 0 \leq \ep \leq 10^{-6} \\

8: %\pa_{t} \pa_{\alx} z^{1}_{\ep}(0,0) \in  -0.000^{28}_{02}% [-0.00027111048,-0.00002436699]

9: %& \text{ for } A(\ep) = 1.08055, \quad 0 \leq \ep \leq 10^{-6} \\

10: %\end{align*}

11: %\item Since we don't know $A(\ep)$ explicitly, we take $A(\ep) = [1.08050,1.08055]$ (the full interval) and propagate the interval in the computations. We are able to obtain the following rigorous bounds:

12: %\begin{align*}

13: %\pa_{tt} \pa_{\alx} z^{1}_{\ep}(0,0) \in [38.706,48.787], %[3.87062435706E+001,4.87868943608E+001]

14: %\end{align*}

15: %\end{enumerate}

16: %\end{proof}

17: