Equation 17.10.32FEE6016E13FF

\begin{equation} C=\sup _{\{ \varphi _1\neq -\infty \} } \left(\varphi _1-\varphi _0\right)=\sup _{\{ \varphi _0\neq -\infty \} } \left(\varphi _1-\varphi _0\right)\leq 0, \end{equation}