Eine kleine Gleichung #3708
25

$$\int_{0}^{\infty} \frac{\sin x}{x} dx = \frac{\pi}{2}$$