integrate sqrt(1/pi-(x-sqrt(1/pi))^2) from x=0 to 2/sqrt(pi)