Да, доказывать задачи Эрдёша с @HarmonicMath Аристотелем здорово, но вы пробовали использовать это для проверки решений в стиле LeetCode? Мы пробовали. Это работает (инвариантное вывод... пока не быстро).