Strong energy condition in a Friedmann universe (source code)

= 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$.