Equation 16.9.100AC35440957F

\begin{equation} \begin{split} d_ S(\varphi ,\psi )\leq & \frac{1}{n+1}\sum _{j=0}^ n \left( 2\int _ X \theta _{\varphi \lor \psi }^ j\wedge \theta _{V_{\theta }}^{n-j}-\int _ X \theta _{\varphi }^ j\wedge \theta _{V_{\theta }}^{n-j}-\int _ X \theta _{\psi }^ j\wedge \theta _{V_{\theta }}^{n-j} \right) \\ \leq & C_ n d_ S(\varphi ,\psi ), \end{split} \end{equation}