Bounded iff Big-O of 1/Sequences

Theorem
Let $(a_n)$ be a sequence of real or complex numbers.


 * $(1):\quad$ $a_n$ is bounded


 * $(2):\quad$ $a_n = O(1)$, where $O$ denotes big-O notation