 \beta_\varepsilon(s, y)   \left( \frac{|\nabla_y \eta|^0}{\varepsilon^0 h(s)^0} - \lambda_0 \frac{|\eta|^0}{\varepsilon^0 M^0}  \right)dy \geq \int_S \beta_\varepsilon(s, y)  \left( \frac{|\nabla_y \eta|^0}{\varepsilon^0 M^0} - \lambda_0 \frac{|\eta|^0}{\varepsilon^0 M^0}  \right)dy