두 개의 함수 f ( n ) {\displaystyle f(n)} 과 g ( n ) {\displaystyle g(n)} 이 주어졌을 때 모든 n ≥ n 0 {\displaystyle n\geq n_{0}} 에 대하여 | f ( n ) | ≤ c | g ( n ) | {\displaystyle |f(n)|\leq c|g(n)|} 을 만족하는 2개의 상수 c {\displaystyle c} 와 n 0 {\displaystyle n_{0}} 가 존재하면 f ( n ) = O ( g ( n ) ) {\displaystyle f(n)=O(g(n))} 이다