3 ms·This is from mathoverflow: https://mathoverflow.net/a/249936/39775 https://mathoverflow.net/a/249936/39775by mathgenius 9y agoThis is from mathoverflow: https://mathoverflow.net/a/249936/39775 https://mathoverflow.net/a/249936/39775