Needs a “[November 2025]” title. It is already outdated
Why?
It was silly at the time but even sillier now (eg see other comment on Erdos 1196)
Why?
It was silly at the time but even sillier now (eg see other comment on Erdos 1196)