(integrate from x=0 to pi/2: cos^2(x)) / (pi/2)