  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 $\geq k,$ volume $\geq v,$ and diameter $\leq D.$
