Definition:Big-O Notation/Also defined as

Also defined as
Some authors require that the inequality be valid on the entire domain of definition.

On, this is known as a uniform big-O estimate.

The statement $f = \map \OO g$ is sometimes seen to be defined as:
 * $\displaystyle \exists \alpha \in \R: \alpha \ge 0 : \lim_{x \mathop \to \infty} \frac {\map f x} {\map g x} = \alpha$

However, requiring that the limit exists is too restrictive.