Une petite équation #2705
25

$$\int_{0}^{1} \frac{1}{1+x^2} \, dx = \frac{\pi}{4}$$