3 ms·It was silly at the time but even sillier now (eg see other comment on Erdos 1196)by throwaway210426 6mo agoIt was silly at the time but even sillier now (eg see other comment on Erdos 1196)