Докажите, что
можно разбить на 3 множества
,
и
, таких, что
и
. В свою очередь,
можно разбить на 2 множества
и
так, что
,
и
где
,
. (
есть набор циклов функции
, для разбиения взять через один или почти через один элементы в каждом цикле.) Если
,
, то
Потом нужно заметить, что если
, то
, значит
Кроме этого,
всегда можно взять в качестве
. Сложите
,
и
и получите оценку
, откуда следует
Ну
Чтобы доказать, что
меньше
может не подойти, приведите пример, когда в
достигается равенство,
, а в левой части
- максимально возможная сумма.