integral%20of%204%20sin%5E2%20(pi%20x%20/%202)%20sqrt(1%20-%20x%5E2)%20/%20pi%20for%20x=0..1