Numerically it seems to be true that
$$ \int_0^\infty \frac{\sin x}{\sqrt{x}}dx=\sqrt{\frac{\pi}{2}}. $$
Any ideas how to prove this?
Numerically it seems to be true that
$$ \int_0^\infty \frac{\sin x}{\sqrt{x}}dx=\sqrt{\frac{\pi}{2}}. $$
Any ideas how to prove this?