(-∞,0)の部分集合Sに対しsup S<=0は
わかるかしら�?