ula_34，使得对于所有足够大（sufficiently_large）的formula_22，都有formula_31的绝对值小于等于formula_34乘以formula_32的绝对值，那么我们就可以说，当formula_39时，也就是说，假如当且仅当存在正实数formula_34和实数formula_22，使得对于所有的formula_43，均有：formula_44成立，我们就可以认爲，formula_40。在很多情况下，我们会省略“当formula_22趋近于无限大时”这个前提，而简写爲：