Integralshard
0:00.0

What is 0π/2cos2xdx\int_0^{\pi/2} \cos^2 x dx?