I'm trying to determine under what conditions the following statement is true.
The statement is, suppose $f(n) = O[g(n)]$ and $f(n) \neq \Theta[g(n)]$ then $g(n) = \Omega[f(n)]$
where $O$ means "asymptotically bounded above (not necessarily tightly) by", $\Omega$ means "asymptotically bounded below (not necessarily tightly) by" and $\Theta$ means "asymptotically bounded both above and below".
I can't seem to find it stated outright in any of the books or wikipedia articles.
I'm sure there are counterexamples where we can construct weird functions to contradict the statement, but I'm wondering whether the statement is true for all "ordinary" functions we "typically" encounter (of course, it would be necessary to rigorously define "ordinary" here).