There are no discussions about this article yet.

 Articles by others on the same topic (1)

Ciro Santilli 34  Updated 2024-12-15  +Created 1970-01-01

Module bound above, possibly multiplied by a constant:

f (x) = O (g (x))

is defined as:

\exists M > 0 \exists x_{0} \forall x > x_{0} : ∣ f (x) ∣ \leq M g (x)

E.g.:

$\forall c \in R x + c = O (x)$ . For $c < 0$ , $M = 1$ is enough. Otherwise, any $M > 1$ will do, the bottom line will always catch up to the top one eventually.

Big O notation