3 ms·tl;dr: The best-known asymptotic upper bound has been lowered from 1/n^(8/7) to 1/n^(8/7 + 1/2000).by perihelions 3y agotl;dr: The best-known asymptotic upper bound has been lowered from 1/n^(8/7) to 1/n^(8/7 + 1/2000).