>>587
右辺から左辺を引いて、最小値が0以上であることを示すには、どうすればいいか考えてみよう