r>0の場合ar^{i-1}は常に同じ符号でS_nは単調
なので、そうではない場合に注目してるんでしょう