Finite-time Friedmann singularity under the strong energy condition (source code)

= Finite-time Friedmann singularity under the strong energy condition

If $H>0$ at one time, the inequality $d(H^{-1})/dt\geq1$ forces $H\to+\infty$ and $a\to0$ within finite time to the past. If $H<0$, it forces $H\to-\infty$ and $a\to0$ within finite time to the future.