More specifically, given two positive functions formula_1 and formula_2, we say that formula_3 is in the big O of formula_4 (written formula_5) if for large enough formula_6, formula_7 for some constant formula_8.