pi*integral from x=0 to x=pi of sin(x)^2 dx