[MattPalmer1086]

First major improvement to the bound since 1940. Many other things can now be improved as a result, that depended on the earlier bound.