Hallo 👋

0cos2(x)exdx=35.\int_0^\infty \cos^2(x) e^{-x} dx = \frac{3}{5}.