>>177
端的に言うとε-δ論法。