证明O(f(n))+O(g(n))=O(max{f(n),g(n)}).
类似地,对于任意g1(n)∈O(g(n)),存在正常数c2和正常数n2,使得对所有n>=n2有g1(n)<=c2g(n)。
令c3=max{c1,c2},n3=max{n1,n2},h(n)=max{f(n),g(n)},则对所有的n>=n3有:
F1(n)+g1(n)<=c1f(n)+c2g(n)
<=c3f(n)+c3g(n)
=c3(f(n))+g(n))
<=c32max{f(n),g(n)}
=2c3h(n)
=O(max{f(n),g(n)})