integral of pi sin^2(x) from 0 to Pi