 Binary expansion

Every real number in $[0,1]$ is a sum ${\sum }_{j\ge 1}{\epsilon }_j{2}^{-j}$ with binary digits ${\epsilon }_j\in \{0,1\}$.