Strong energy condition in a Friedmann universe
= Strong energy condition in a Friedmann universe
With zero cosmological constant, the condition $\rho+3P\geq0$ implies $\ddot a\leq0$ and
$$
\dot H\leq-H^2,
\qquad
\frac d{dt}(H^{-1})\geq1
$$
wherever $H\ne0$.