>>874
x∈[0,1) ⇒ x<1
ε=(1−x)/2 とすれば (x−ε/2,x+ε/2)∩[0,∞)⊂[0,1)