There exist lattices in n dimensions having hypersphere packing densities satisfying η>=(ζ(n))/2^(n - 1), where ζ(n) is the Riemann zeta function. However, the proof of this theorem is nonconstructive and it is still not known how to actually construct packings that are this dense.
Hermann Minkowski
