a<b<cのとき、a+b>cであるのはわかるのだが・・