永井＜猪越梅田の不等式は流石に成り立たないよ。永井＜沖ならわかるけどね。