>>799-800

超準解析で無限大の大小判定する話はよw