\int_{0}^{\infty}\sin x dx