Даже если функции монотонно растут, т. Е. N f (n) \ leq f (m), то по-прежнему неверно, что f (n) \ neq O (g (n) подразумевает f (n) = \ Omega (g (n)).
Рассмотрим, например, f (n) = g (n) ^ 2 для четного n и g (n-1) для нечетного n и g (n) = f (n) ^ 2 для n нечетных и f (n-1) для n четных, с f (0) = 2, g (0) = 2.
Оба монотонно растут, но ниявляется ой-ой другой (очень быстро расти).