All Questions

I would like to prove that $$\int_{0}^{\infty} \cos(\omega x) \exp(-x^{\alpha}) \, {\rm d} x \ge {\alpha^2 \sqrt{\pi} \over 8} \exp \left( -\frac{\omega^2}{4} \right)$$ for any $\omega > 0$ and $...

For real $x>0$, let $$f(x):=\frac1{\sqrt x}\,\int_0^\infty\frac{1-\exp\{-x\, (1-\cos t)\}}{t^2}\,dt.$$ How to prove that $f$ is increasing on $(0,\infty)$? Here is the graph $\{(x,f(x))\colon0<...