f(n) = O (g (n)) iff there are a M > 0 and a c > 0 such that
                        for all m > M, 0 <= f(m) <= c * g (m).   [1] [2] [3]