无穷小是个变量。就是一个函数，当自变量在某个点的邻域变化时，函数趋于0. 根据极限的ε-δ定义有|f(x)-0|<ε.定理1.1必要性证明的时候，由条件函数极限为A和函数极限ε-δ定义可得当任意ε>0且有一个自变量区间即所谓的某点的去心邻域|f(x)-A|<ε。f(x) = A+α,则α = f(x)-A,又因为|f(x) -A-0|<ε,所以α极限为0，即α为无穷小
