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