Hard-Sphere Pressure Bound from a Reformulation of Solid-Phase Thermodynamics