>>520
最後の不等式はどこから来たんですか?