если g(n) = o(f(n))
, это означает lim(g(n)/f(n)) = 0, n -> \infty
. Следовательно, для константы n0
мы имеем f(n) > g(n)
для всех n > n0
. Следовательно, max(f(n), g(n)) = f(n)
для всех n > n0
и f(n) = O(f(n))
. Поскольку последнее всегда верно, утверждение верно.