変数の和が 111 であるため各変数は 1 以下であり、減じられる項が二変数の積の和を上回ることはない。
両項は非負である。第一項は明らかであり、第二の括弧は x(1−y)+y(1−x)x(1-y)+y(1-x)x(1−y)+y(1−x) と書け、三変数はすべて [0,1][0,1][0,1] にある。