It is open question if the standard round metric on $S^4$ is the unique positive Einstein metric, up to isometry and scaling. In this talk, I will discuss a compactness theorem which rules out nonstandard unit-volume Einstein metrics whose scalar curvatures lie within a certain range.