Как говорит проблема, начните с определения нотации big-O.
F(x) = O(G(x)) IFF there exist constants k and m,
such that for all n > m, k*|G(n)| > F(n).
(Проконсультируйтесь с вашим textboox для точной формулировки здесь.)
Неофициально, это означает, что если мы пойдем достаточно далеко, в конечном итоге G (n) будет доминировать над F (n), независимо от того, насколько велико начальное преимущество, которое мы даем F (n) через постоянные факторы.
Итак, как вы можете доказать что-то подобное?
Доказательства, подобные этому, как правило, делаются конструктивно - показывают, что конкретные правильно выбранные значения для m и k приводят к неравенству.
Теперь вы просто занимаетесь алгеброй. Найдите некоторые m и k, которые удовлетворяют формальному определению. В зависимости от требуемого уровня формальности / детализации вам может потребоваться доказать, что 1 / n монотонно уменьшается (или сделать некоторое доказательство индукции), чтобы показать, что ваш выбор m и k действительно работает.
Маргус (и Loadmaster): асимптотическая нотация говорит о функциях и полностью независима от базового оборудования и реализации. 1 / n = O (1) - математическая истина, которая не основывается даже на существовании вещей, которые мы называем «компьютерами». Если вы думаете о количестве инструкций, вы рассуждаете о классах сложности (например, P, NP, EXP), а не об асимптотических обозначениях.