On Mon, 29 Sep 2003, John Conway wrote:
You folks need to get your logic straight!
Well, I see that my own logic in the following...
Now if you changed some of the signs and inequalities around, so that it was properly addressed to upper bounds, it suffers from a very big defect, namely that those epsilons make it necessarily not "exact". What this means is, that if there were a 25-sphere example, but only one that required exact placement of the spheres, it couldn't possibly rule it out, and so couldn't possibly do the only thing we want it to.
... was half upside-down too. I'd apologize, if it weren't for the fact that this is a disease I obviously caught from you! The defect's not so big as I thought, but is still there. However, I won't try to explain it until I'm out of quarantine. JHC