int_1^{\infty} \sin(1/x^2)dx