The claim is incorrect.
A counterexample is as follows: we have no doubt that 2n is an element of O(n) . But we can prove that exp(2n) not an element of O(exp(n)) . It is easy to understand by calculating
exp(2n) lim -------- = infinity n -> infinity exp(n)
which means that exp(2n) not in O(exp(n)) .
Given your allusion to L'Hospital: this is a rule for calculating limits using derivatives, or rather:
f(x) f'(x) lim ------ = lim ----------- n -> infinity g(x) n -> infinity g'(x)
under certain circumstances (for example, both f and g tend to infinity. I don’t know which criteria should be met, so I just suggest reading this for more information.
But what we can say about functions and their derivatives is the following:
If f'(x) is an element of O(g'(x)) , then we have that f(x) is an element of O(g(x)) . Another direction is not so.
phimuemue
source share