アルゴリズムのorderについて

今更ですが、よくわかっていなかったので改めて定義を確認しました。

order

f(n)とp(n)を自然数上に定義された２つの関数とする。
任意の自然数nに対して

$$\text{\(\frac {f(n)} {p(n)}\)} < C$$

を満たすという性質を持った、nによらない定数Cが存在する時、

$$f(n) = O(P(n))$$

と書いて、f(n)はp(n)のorderであるという。