$\int_{0}^{+\infty} \frac{\sin x}{x}dx$
$\int_{0}^{\frac{3\pi}{2}} \frac{\sin x}{x}dx > 0$
其他非高数解法
‣