Abstract
In this paper we prove that no packing of unit balls in Euclidean space $\mathbb R^8$ has density greater than that of the $E_8$-lattice packing.
In this paper we prove that no packing of unit balls in Euclidean space $\mathbb R^8$ has density greater than that of the $E_8$-lattice packing.