The first inequality is because the Legendre transform $u^{*}(p)$ is bounded on $\Delta$ as in the above proof, and the second is because $\nabla u\in\Delta$. The morever statement is essentially identical to Cor. 3.28. ∎