  We prove that among four-dimensional ideal right-angled hyperbolic polytopes
the 24-cell is of minimal volume and of minimal facet number. As a corollary, a
dimension bound for ideal right-angled hyperbolic polytopes is obtained.
