I'm cheating because I remember this question from MathOverflow from years ago. https://mathoverflow.net/q/49915/
0/4000 chars
I'm cheating because I remember this question from MathOverflow from years ago. https://mathoverflow.net/q/49915/