Transitivity of Big-O Estimates/Sequences

Theorem
Let $(a_n)$, $(b_n)$ and $(c_n)$ be sequences of real or complex numbers.

Let $a_n = O(b_n)$ and $b_n = O(c_n)$, where $O$ denotes big-O notation.

Then $a_n = O(c_n)$.