1-cos(y-x)≦(y-x)^2/2の方がいまだに証明できません。(y-x)を置き換えたりするんでしょうか？