Challenge 7: equality of the sphere-packing and lattice-packing constants in dimension $r$

Initializing...

Challenge 7: equality of the sphere-packing and lattice-packing constants in dimension $r$ · Prove2Me