>>113
ε-δ論法は数学ユーザーには不要だろう