＜解答＞
形式的に「ｐ⇒ｑが成立するとき、¬ｑ⇒¬ｐも成立する」
ことを利用して｜a｜＜ε⇒a＝０を証明する。
¬（ａ＝０）を言いかえれば、ａ≠０・・・・（１）
（１）で与えられる｜ａ｜がεより小さくなければ
（言い換えると｜ａ｜≧εであれば）、例題の式が成立
することになる。aは０以外の実数であるから、
｜a｜＞０である。ところが、εは任意の正の数であるので、
・・・・・それから先がうまくいかんな。