（正负）无穷，还是x0（左右）。第二，f,g的极限是否存在。
由于f(x),g(X)极限存在且分别为A,B则α(X)，β(x)为无穷小。因此Aβ(x)+Bα(x)+α(x)β(x)为无穷小
又f(x)g(X)=[A+α(X)][B+β(x)]=AB+Aβ(x)+Bα(x)+α(x)β(x)
lim[f(x)g(x)]=AB。这种证明是假定楼主知道无穷小的概念，以及无穷小与无穷小或常数的乘积仍然为无穷小这两个定理的。
由于g(x)极限存在，则由局部有界性，对正数M有|g(x)|<=M则上式有
|f(x)g(X)-AB|=|(f(x)-A)g(x)+A(g(x)-B)|<=|(f(x)-A)g(x)|+|A(g(x)-B)|<=M|(f(x)-A)|+|A||(g(x)-B)|<(M+|A|)ε
则由于ε的任意性知道，当x趋向x0时lim[f(x)g(x)]=AB
数学的计算性：
在初等数学中甚至占了主导的地位。它在高等数学中的地位也是明显的，高等数学除了有很多理论性很强的学科之外，也有一大批计算性很强的学科，如微分方程、计算数学、统计学等。在高度抽象的理论装备下，这些学科才有可能处理现代科学技术中的复杂计算问题。