>>704
Schurより強い不等式ってことになるのかな?