>>663
∀ε>0 ∃x∈A a-ε<x≦a
を使うんじゃないの?