解の配置を考えるときは
区間の端が解になるときを別扱いするという流儀もある
それなら >>992 のように等号なしになるかもしれん