\int_0^{+\infty}\sin x^2dx