Comment by a13n

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