Более формально ...
Сначала докажем, что если f(n) = 5n
, то f ∈ O(n)
.Чтобы показать это, мы должны показать, что для некоторых достаточно больших k
и i ≥ k
, f(i) ≤ ci
.К счастью, c = 5
делает это тривиальным.
Далее я докажу, что для всех f ∈ O(n)
это f ∈ O(n * log n)
.Следовательно, мы должны показать, что для некоторых достаточно больших k
все i ≥ k
, f(i) ≤ ci * log i
.Следовательно, если мы позволим k
быть достаточно большим, чтобы f(i) ≤ ci
и i ≥ 2
, то результат будет тривиальным, поскольку ci ≤ ci * log i
.
QED.