Aristotle from Harmonic has solved this Erdos problem | Not Hacker News!