Me-Mow

lim[f(n)/g(n)] ≠ 无穷          ------------>f(n)=O(g(n))    [g(n)为上界]

lim[f(n)/g(n)] ≠ 0              ------------>f(n)=Ω(g(n))    [g(n)为下界]

lim[f(n)/g(n)] = c              ------------>f(n)=Θ(g(n))

(其中，c必须是一个大于0的常数）

f(n)=Θ(g(n))，当且仅当f(n)=O(g(n))并且f(n)=Ω(g(n))