[fraserphysics]

Don't Shannon's channel coding theorem and rate-distortion theorem establish bounds on possible sphere packing?

[meindnoch]

That's in Z_{2}^n, not in R^n.

[fraserphysics]

I think the result for Gaussian channels is in R^n.