広義積分∫[0,∞] sin(x^2) dx
が収束することを、複素解析を使わずに示してください。