\int_0^{\infty } \frac{\sin x}{\sqrt{x}} \, dx=\sqrt{\frac{\pi }{2}}