>>741
オギノかなんかだろ？　べつに名前つけるほどのもんじゃなくって、
導関数（の符号を決めている部分）が差の形になったら両者の大小
を考えれば導関数の符号がわかる、って（ごくあたりまえの）話だ
ったと思うよ。