b^2-1とb-a+1の大小の評価が難しいですね…
b≧2でも逆転する場合もあるのでは?でもなさそうだけど