查看原题
证明: $\int_0^{\sqrt{2 \pi}} \sin \left(x^2\right) \mathrm{d} x>\frac{2-\sqrt{2}}{2 \sqrt{\pi}}$.
                        
不再提醒