Une petite équation n° 5111
25

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