無視可能函数
連続函数 μ: R → R が(x を無限大に飛ばす極限で)無限小であるとは、あらゆる ε > 0 に対して適当な Nε を選べば、x > Nε なるとき常に |μ(x)| < ε とできることをいう。
引き続き、定義における ε > 0 を函数 1/x (c > 0) あるいは 1/poly(x)(poly(x) は正値多項式)に取り替えれば、先の無視可能函数の定義を得る。定数 ε > 0 も適当な定数多項式に対する 1/poly(x) として書けるから、無視可能函数のクラスは(無限遠における)無限小函数のクラスの部分集合になっていることがわかる。