integral sin(x^2) from 0 to infinity