Equation 13.15.4F3E7262939D2

\begin{equation} \mu _ u(\{ u\geq -t\} )\leq C_\omega (1+t)^{r_ n}, \qquad \mu _ u(E\cap \{ u\geq -t\} )\leq (1+t)^ n\operatorname {Cap}_\omega (E). \end{equation}