若存在正实数$c$和实数$n_0$，使得对于所有的$n > n_0$，均有$T(n) \leq c \cdot f(n)$，则可认为$f(n)$给出了$T(n)$的一个渐近上界，记为$T(n) = O(f(n))$。