As small as possible would be nice. I expect that a proof of a bound that is close to tight will be much more informative of the structure of the problem than proofs of looser bounds. If the true bound is, say, 2, then I expect a proof of 500 to route through mechanisms that don’t really illuminate what’s going on here.
As small as possible would be nice. I expect that a proof of a bound that is close to tight will be much more informative of the structure of the problem than proofs of looser bounds. If the true bound is, say, 2, then I expect a proof of 500 to route through mechanisms that don’t really illuminate what’s going on here.