Aristotle from Harmonic has solved this Erdos problem

(erdosproblems.com) by cjbarber | Nov 30, 2025 | 0 comments on HN