>>66
a<1<a+1 を前提に解いてるようだけど、そのことが明記されていないのが気になる。
図的に判断したのかな？

とりあえず、S(a) を最小にする a の値はそれであってるの？