Предположим, что n² находится в O (n) .
Тогда должно быть c и n₀ , таких что для всех n ≥ n₀ , n² ≤ c * n ( по определению обозначения O).
Пусть k = max (c, n₀) + 1 . По указанному выше свойству имеем k² ≤ c * k (начиная с k> n₀ ), из которого следует, что k ≤ c .
Однако, k> c по построению. Это противоречие.
Поэтому наше предположение неверно, и n² не может быть в O (n) .