How to show that $\bigcup_{n \in \mathbb{N}} \{ \frac{k}{2^n} : 1 \leq k \leq 2^n \}$ is dense in $\mathbb{Q} \cap [0,1]$?
How can I show that the set of rational numbers with denominator a power of two form a dense subset of the reals?