Formula_4688

\[\sup _{0 \leqslant \eta \leqslant \xi} \inf _{\left\{I^{\prime} \in \lambda:\left|I^{\prime}-I\right|=\eta\right\}}\left|\operatorname{grad}\left(H_{0} \mid \lambda\right)\right|_{I^{\prime}}>C \xi^{\alpha}\]