Aristotle from Harmonic has solved this Erdos problem · HackerTrans