絶対値の定義より、a≠0 ⇒ |a|>0
このとき、実数の稠密性より、ある ε>0 が存在して、|a|>ε>0
これで対偶が示された。

こんな簡単な問題がわからんなら諦めたほうが良い