>>261
君は無限小が大好きだね　ではそんな君に問題

任意の有限超実数aに対しaが実数でないならa-b=無限小となる実数bが存在することを示せ。
ヒント：aが有限超実数ならある自然数nが存在して|a|<n。