Sk

No.  This is a wrong error.  In fact, we don't compare a and b - but check the sign of the difference.

So, I don't buy this part of PR (i.e. sympy/integrals/*).  Lets wait for review of this part first from someone else.