Дан произвольный набор чисел 

,где хотя бы два числа не равны друг другу,и 

.На каждом шаге из предыдущего набора получается следующий с помощью такой операции:

.Доказать,что на сотом шагу,независимо от начального набора,одно из чисел будет больше 

.
Кроме того,что сумма каждого набора-инвариант,ничего в голову не приходит.
Кстати,довольно интересна вещь происходит,если взять начальный набор 

.Тогда на 

-ом шаге сумма модулей всех чисел равна 

.
Кроме этих двух фактов я как-то больше ничего и не приметил.