[shaldengeki]

Further in the thread, the guy notes that this isn't "new" mathematics - a better proof with tighter bounds was published in April:

https://xcancel.com/SebastienBubeck/status/19581986678373298...