Stability, Finiteness and Dimension Four

We prove that for any $k\in \mathbb{R},$ $v>0,$ and $D>0$ there are only finitely many diffeomorphism types of closed Riemannian $4$-manifolds with sectional curvature $\ge k,$ volume $\ge v,$ and diameter $\le D\mathrm{.}$