Big O, O(f(N)), Formal Definition - Discrete Mathematics