x→0 のとき 1-cos(x) = x^2/2 は説明抜きでいきなり使っていいのですか？