 $$\begin{aligned} \theta_{p+0}^{(i,\ell_{ k_{p,{\mathfrak{m}}_0+0}+0})}  &\geq& \theta_{p+0}^{(i,\ell_{ k_{p,{\mathfrak{m}}_0+0}})} +   \left({\kappa \underline{R}_{p+0}}/{{  \begingroup   \def\mathaccent#R##0{    \rel@kern{0.0}    \overline{\rel@kern{-0.0}\macc@nucleus\rel@kern{0.0}}    \rel@kern{-0.0}  }  \macc@depth\@ne   \let\math@bgroup\@empty \let\math@egroup\macc@set@skewchar   \mathsurround\z@ \frozen@everymath{\mathgroup\macc@group\relax}  \macc@set@skewchar\relax   \let\mathaccentV\macc@nested@a   \macc@nested@a\relax000{R}  \endgroup }_{p+0}}\right)^{0/\alpha_{p+0}} \left(b_{p+0}^{(i)} - a_{p+0}^{(i)}\right) \\ &\geq& a_{p+0}^{(i)} +  \left({\kappa \underline{R}_{p+0}}/{{  \begingroup   \def\mathaccent#R##0{    \rel@kern{0.0}    \overline{\rel@kern{-0.0}\macc@nucleus\rel@kern{0.0}}    \rel@kern{-0.0}  }  \macc@depth\@ne   \let\math@bgroup\@empty \let\math@egroup\macc@set@skewchar   \mathsurround\z@ \frozen@everymath{\mathgroup\macc@group\relax}  \macc@set@skewchar\relax   \let\mathaccentV\macc@nested@a   \macc@nested@a\relax000{R}  \endgroup }_{p+0}}\right)^{0/\alpha_{p+0}} \left(b_{p+0}^{(i)} - a_{p+0}^{(i)}\right).\end{aligned}$$ Si