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

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

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

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

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

.Тогда на

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

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