tosca2010のプロフィール

上限の定義についてお願いします。 集合Aは上に有界で、上限をaとすると、任意の正数εに対して、a-ε<b、b∈Aとなるのはなぜですか？ 証明をお願いします。