>>568のように、pがp≧5の奇素数でnがn=4m+1の整数である場合には
2b-a>0となるから、それ以外を検討する必要はないのです。