Please correct me if I am wrong. Suppose $h(n)=\Theta (g(n))$
- $f(n)=\Theta(\Theta (g(n)))$
- $f(n)=O(\Theta (g(n)))$ and $f(n)=\Omega(\Theta (g(n)))$
- $\exists c_1\in R(f(n)\leq c_1\theta(g(n))),\exists c_2\in R(f(n)\geq c_2\theta(g(n)))$
- $c_2\Theta(g(n))\leq f(n)\leq c_1\Theta(g(n))$
- $c_2(h(n))\leq f(n)\leq c_1(h(n))$
- $\exists c_3,c_4\in R(c_4(g(n))\leq c_2(h(n))\leq f(n)\leq c_1(h(n))\leq c_3(g(n))$
- $f(n)=O(g(n))$ and $f(n)=\Omega(g(n))$
- $f(n)=\Theta(g(n))$
Now, my questions are
- Am I doing these correct?
- Also, WLOG, I know the necessary condition of $n\ge n_0$. But I simply left it to save the trouble. Will this affect my proof?