1: \begin{proof}

2: It follows from Corollary~\ref{globest} that, for all $\omega \in \Omega_1$,

3: \begin{equation*}

4: \limsup_{|y| \to \infty} \frac{u(y)}{|y|} \leq 0.

5: \end{equation*}

6: Since $(p,\omega)$ play no further role in the argument, we omit them for the rest of the proof. Define the auxiliary function

7: \begin{equation} \label{linearphi}

8: \varphi(y): = -\left( 1 + |y|^2 \right)^{\frac12}.

9: \end{equation}

10: it is immediate that  $|D\varphi| + |D^2\varphi| \leq C$, hence, using \eqref{Alip} and \eqref{Hbound}, we have

11: \begin{equation} \label{phieqbnd}

12: \left| \tr( A(y,\omega) D^2\varphi) \right| + H(p+D\varphi,y,\omega) \leq C.

13: \end{equation}

14: Fix $\ep>0$ and define the function

15: \begin{equation*}

16: \hat u_\ep (y): = (1-\ep) u(y) + \ep (\varphi(y) - k),

17: \end{equation*}

18: where $k> 0$ is taken sufficiently large (depending on $\delta$) that $\varphi-k$ is a subsolution of \eqref{aux} in $\Rd$. Formally, using the convexity of $H$, we see that the function $\hat u_\ep$ is a subsolution of \eqref{aux}. This is made rigorous in the viscosity sense by appealing to Lemma~\ref{convtrick}, or by a more direct argument using that $\varphi-k$ is smooth. Owing to \eqref{globesteq1}, \eqref{compsublin}, and the definition of $\varphi$, we have

19: \begin{equation*}

20: \liminf_{|y| \to \infty} \frac{v(y) - \hat u_\ep(y)}{|y|} \geq \ep,

21: \end{equation*}

22: and therefore we may apply the standard comparison principle (see \cite{CIL}), yielding

23: \begin{equation*}

24: \hat u_\ep \leq v \quad \mbox{in} \ \Rd.

25: \end{equation*}

26: We obtain the result upon sending $\ep \to 0$.

27: \end{proof}

28: