> [!NOTE] Lemma > Let $f,g:\mathbb{N}\to \mathbb{R}$ be [[Real sequences|real sequences]]. Let $k\in \mathbb{R}.$ If $f=\mathcal{O}(g)$ then $k\cdot f=\mathcal{O}(g).$ **Proof**: ...