>>597
分かった。最初からこうやって注を付けて書けばよかったわけだな？

超実数体R^*において、ε＞0が正の無限小だとするとε/2もまた正の無限小であり、
しかもε≠ε/2が成り立つ。こんなのは超準解析の教科書に書いてあるし、あるいは
Wikipediaで調べても簡単に見つかる。(注：Wikipediaにある超準解析の記述は、
キースラーの「無限小解析の基礎―微積分の新手法」と全く同じものだから正しい。)