Love these sorts of problems. I’ve no maths beyond high school but still enjoy.
But I’m confused… from the Wikipedia article and elsewhere:
Joseph Gerver found a sofa that further increased the lower bound for the sofa constant to approximately 2.2195.
Hammersley also found an upper bound on the sofa constant, showing that it is at most 2.8284.
Doesn’t this mean there are shapes up to .6 larger (~25% larger), which seems a lot bigger (and therefore easily found)?
Or am I mixing up lower & upper bounds?
