The following is analogous to the "big-Oh" notation introduced in conjunction
with Definition \(5.23\).
For \(f, g: \mathbf{Z}^{+} \rightarrow \mathbf{R}\) we say that \(f\) is of order
atleast \(g\) if there exist constants \(M \in \mathbf{R}^{+}\)and \(k \in
\mathbf{Z}^{+}\)such that \(|f(n)| \geq M|g(n)|\) for all \(n \in \mathbf{Z}^{+}\),
where \(n \geq k\). In this case we write \(f \in \Omega(g)\) and say that \(f\) is
"big Omega of \(g\)." So \(\Omega(g)\) represents the set of all functions with
domain \(\mathbf{Z}^{+}\)and codomain \(\mathbf{R}\) that dominate \(g\).
Suppose that \(f, g, h: \mathbf{Z}^{+} \rightarrow \mathbf{R}\), where \(f(n)=5
n^{2}+3 n\), \(g(n)=n^{2}, h(n)=n\), for all \(n \in \mathbf{Z}^{+}\). Prove that
(a) \(f \in \Omega(g)\); (b) \(g \in \Omega(f)\); (c) \(f \in \Omega(h)\); and (d)
\(h \notin \Omega(f)-\) that is, \(h\) is not "big Omega of \(f\) ""