>>198
ε−δ論法でしめす。