Equation 17.10.3416DA31D36BD2

\begin{equation} \varphi _1(x)-\varphi _ s(x)=\int _ s^1 \frac{\mathrm{d}}{\mathrm{d}t}\varphi _ t(x)\, \mathrm{d}t\leq (1-s)\lim _{t\to 1-}\frac{\varphi _1(x)-\varphi _ t(x)}{1-t}\leq (1-s)C, \end{equation}