Binary expansion
= Binary expansion
Every real number in $[0,1]$ is a sum $\sum_{j\geq1}\varepsilon_j2^{-j}$ with binary digits $\varepsilon_j\in\{0,1\}$.
= Binary expansion
Every real number in $[0,1]$ is a sum $\sum_{j\geq1}\varepsilon_j2^{-j}$ with binary digits $\varepsilon_j\in\{0,1\}$.