كارل فريدريش غاوس
Carl Friedrich Gauss proved in 1831 that these packings have the highest density amongst all possible lattice packings.