Equation 16.15.9F97763A1D077

\begin{equation} D_ g\log H\geq \beta \left(1-\frac{\operatorname {tr}_ h k+D_ hf}{H}\right) -C_0\operatorname {tr}_ g h, \end{equation}