Let and be asymptotically non-negative functions. Using the basic definition of -notation, prove that .

To prove this, we have to show that there exists constants such that for all .


As the functions are asymptotically non-negative, we can assume that for some , and .

So for , .

Also note that, and

Therefore, we can combine the above two inequalities as follows:

So, because there exists and .

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