integrate erfc(x) from a to b