Aristotle from Harmonic has solved this Erdos problem | Hacker News Reader