Post #3002043

Here's a question I've meant to ask for a long time: https://mathoverflow.net/q/511737/