数学記号を用いると「"x" ≥ 1000 ⇒ "x" ≥ 100」ということになる。