Equation 17.10.12F238807D334F

\begin{equation} \adjustlimits \sup _ X \inf _{s\in (0,1)}\varphi _ s \leq \sup _ X \varphi _ t\leq \sup _ X \varphi _0\lor \sup _ X \varphi _1 \end{equation}