> [!NOTE] Lemma > Let $f,g:\mathbb{N}\to \mathbb{R}$ be [[Real sequences|real sequences]]. Then $f$ is [[Big O Relation on Real Sequences|big O]] of $g$ iff $g$ is [[Big Omega Relation on Real Sequences|big Omega]] of $f.$ **Proof**: Follows directly from definitions.