We say that $f(x) = O(g(x))$ if there exists a constant $C$ such that $|f(x)| \leq C|g(x)|$ for all $x \in \mathbb{R}$ (or whatever we take our domain to be). What is meant explicitly by the statement that $f(x)$ is not $O(g(x))$?
Big-O notation question
0
$\begingroup$
real-analysis
asymptotics
-
1It is more usual to require $|f(x)|\le C|g(x)|$ only for $x$ in some (punctured) neighborhood of the limit we're considering. For example if the limit in $x\to+\infty$ then there must be $N$ and $C$ such that $|f(x)|\le C|g(x)|$ for x>N, and if it is $x\to 0$, then there must be $\varepsilon$ such that it holds for |x|<\varepsilon, $x\ne 0$. Otherwise we couldn't say that $\log x = O(x)$ for $x\to\infty$, for example. – 2011-11-13
1 Answers
1
For any $C$, there exists a value of $x$ such that $|f(x)| \gt C|g(x)|$.