For f, g: Z+ → R, we say that f is "big Theta of g," and write f ∈ ⊙(g), when there exist constants m1, m2 ∈ R+ and k ∈ Z+ such that m1|g(n)| < |f(n)| < m2|g(n)|, for all n ∈ Z+, where n > Prove that f ∈ ⊖(g) if and only if f e ^ (g) and f ∈ O(g).