A Euclidean body has an axis-parallel box of the same volume with every coordinate-projection volume no larger than its own. In logarithmic coordinates the box side lengths solve a linear program with constraints . Its dual uses nonnegative exact fractional covers; the uniform cover inequality bounds every dual objective below by , proving existence by strong duality.
An alternative proof minimizes an array of candidate projection volumes subject to the finitely many inequalities from irreducible uniform covers. Tight constraints force the array to factor into its singleton coordinates, which become the side lengths of the box.
New to topics? Read the docs here!