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