On a Detail in Hales's "Dense Sphere Packings: A Blueprint for Formal Proofs"

Nadja Scharf

In "Dense Sphere Packings: A Blueprint for Formal Proofs" Hales proves that for every packing of unit spheres, the density in a ball of radius $r$ is at most $\pi /\sqrt{18}+c/r$ for…