4 ms·Why?by suddenlybananas 6mo agoWhy?throwaway210426 6mo agoIt was silly at the time but even sillier now (eg see other comment on Erdos 1196)