f(x)=(1-cos x)/x^2
積分区間が0から+∞の広義積分
∫f(x)dxが収束することを証明せよ