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

пусть
отсюда следует что, после анализа на экстремум получим

но с учетом первого равенство , получим что нет таких чисел что выполнялось бы равенство , значит
