Ja, het bewijzen van Erdős-problemen met @HarmonicMath Aristoteles is geweldig, maar heb je het geprobeerd om LeetCode-stijl oplossingen te verifiëren? Wij hebben dat gedaan. Het werkt (invariante afleiding is... nog niet snel).