3 ms·It's Erdős, not Erdös btw.by pvorb 10y agoIt's Erdős, not Erdös btw.TheRealPomax 10y agoI was kind of hoping someone would point that out.pvorb 10y agoYou're welcome.