[math-fun] Sphere packing and lattices in Hilbert space?