integral sinx from 0 to pi