>>584
a_i>1+ a_j を満たすとき
a_iを　-1+ a_i に、　a_jを　1+ a_jにすると
Cの式の値が減少するから、
差が２以上ある要素があれば最小にならない。
という論法でどう？