Докажите, что

можно разбить на 3 множества

,

и

, таких, что

и

. В свою очередь,

можно разбить на 2 множества

и

так, что

,

и

где

,

. (

есть набор циклов функции

, для разбиения взять через один или почти через один элементы в каждом цикле.) Если

,

, то

Потом нужно заметить, что если

, то

, значит

Кроме этого,

всегда можно взять в качестве

. Сложите

,

и

и получите оценку

, откуда следует
Ну

Чтобы доказать, что

меньше

может не подойти, приведите пример, когда в

достигается равенство,

, а в левой части

- максимально возможная сумма.