integral 0 to pi sin(x)