>>382　
i<j　かつ ci>cjとなるi,jがあれば
(aici+ajcj)-(aicj+ajci)
=(ai-aj)(ci-cj)<0だから
ciとcjを入れ替えたほうが、和が大きくなる。
これを使って論証を詰める。