>>258
limが実無限です。
通常の解析学の定義は実無限です。
εδは実無限です。
貴方が不勉強ですよ。