>>宮岡の不等式
Χ > 3(符号数) ってやつだっけ?