The definition

Definition 11

Big-O

$f(n) = O(g(n))$ means there are constants $c > 0$ and $N$ with $f(n) \le c\cdot g(n)$ for all $n \ge N$ .

To prove a Big-O claim, you must choose the constants $c$ and $N$ and show the inequality holds from $N$ onward.