Type the formal definition of O(g(n)) (CLRS form)

Answer

0 <= f(n) <= c * g(n) for all n >= n0

Read it as: there exist positive constants c and n0 so that f never exceeds c*g once n is large enough. The Ω definition flips the middle inequality: c*g(n) <= f(n).