なんとか数列を制限して、反例が作れないようにはできないか？
そうすれば超準解析は、もっと取っつきやすくなると思うけど。