 Big O notation

ID: big-o-notation

Ciro Santilli 35  Updated 2025-03-25  +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.

 New to topics? Read the docs here!