先证明两个无穷小量之积仍是无穷小量,再推广至有限个无穷小量之积.
设 lim [ A(x),x->x0 ] = lim [ B(x),x->x0 ] =0
任给ε >0 (ε 0,当 0< |x-x0 | < δ 时,恒有 | A(x) |