蛇足だが、この手の不等式は
以前は、中学校で習っていたと言っておこう

現行課程では、高校へと棚上げされたが（他には２次方程式の解の公式など）
今年の改革案にて、また中学へと戻ることも思案されている