3 ms·

can’t help but see this thread next to the Erdos one and feel like someone’s trying to tell us something :)