b-a\geq\pi.