Da, demonstrarea problemelor lui Erdő cu @HarmonicMath Aristotel este grozavă, dar ai încercat să o folosești pentru a verifica soluții în stil LeetCode? Avem. Funcționează (inferența invariantă este... încă nu e rapid).