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 .