何故、S＞0ではなくS≧0なのかは厳密に言えばS＞0なんだけど
例えばS=0.000000...1は0では無いが保々0に等しいので
S≧0ということなのでしょうか？