Astronomer Jean-Luc Margot proposed a mathematical criterion that determines whether an object can clear its orbit during the lifetime of its host star, based on the mass of the planet, its semimajor axis, and the mass of its host star. The formula produces a value called π that is greater than 1 for planets. The eight known planets and all known exoplanets have π values above 100, while Ceres, Pluto, and Eris have π values of 0.1, or less. Objects with π values of 1 or more are expected to be approximately spherical, so that objects that fulfill the orbital-zone clearance requirement around Sun-like stars will also fulfill the roundness requirement.