Prove that is the empty set.

By definition, is the set of functions such that for any positive constant and all . is the set of functions such that for any positive constant and all .

So, is the set of functions such that . Now, this inequality cannot be true asymptotically as becomes very large, cannot be simultaneously greater than and less than for any constants . Hence, no such exists.


Another way to look at this is By definition,

and

Both of this cannot be simultaneously true. Hence, no such exists.

If you have any question or suggestion or you have found any error in this solution, please leave a comment below.