average of sin(x) for 0 < x < pi