mula_24的某一常数倍。注：泰勒展开的误差余项formula_25是关于formula_24一个高阶无穷小量，用小o来表示，即：formula_25=formula_28，formula_29
形式化定义.给定两个定义在实数某子集上的关于formula_22的函数formula_31和formula_32，当formula_22趋近于无穷大时，当且仅当存在正常数formula_34，使得对于所有足够大（sufficiently_large）的formula_22，都有for