There exist lattices in dimensions having hypersphere
packing densities satisfying
where
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.