高校数学では当たり前のように四則演算と極限を入れ替えていた。しかし、極限を ε-δ 論法 (あるいは ε-N 論法) で厳密に定義したとき、本当にそのような性質は持っているのであろうか、その証明が必要となる。