Basic Topology of R (Just want hints) I just want to know if I'm on to something for the following problem from intro to analysis. I laid out the problem, my scratchwork follows and finally, my questions are found under "Thoughts" in boldface. The topic is, as in the title, the basic topology of the reals under a section called "Perfect Sets." There's a subsection called "Cannected Sets." I already covered compact sets. Thanks a bunch in advance for any help I can get (again, not the solution please; I'm one of those). 

$\textbf{Problem}$

Let $r_{1},r_{2},\ldots$ be an enumeration for the rational numbers (I guess the author means that these are all the rational numbers) and for each $n\in \mathbb{N}$, let $\epsilon_{n} = 1/2^{n}$. Set $O=\bigcup_{n=1}^{\infty}V_{\epsilon_{n}}(r_{n})$ and $F=O^{c}$ where $V_{\epsilon}(x)=(x-\epsilon,x+\epsilon)$ centered at $x$. Then $F\neq \emptyset$.

$\textbf{Scratchwork}$

I'm assuming that $[0,3]\subseteq O\Rightarrow \exists r_{n_{1}},\ldots r_{n_{k}}$ such that $[0,3]\subseteq \bigcup_{i=1}^{k}V_{\epsilon_{n_{i}}}(r_{n_{i}})$. But the length of $V_{\epsilon_{n}}(r_{n})$ is $1/2^{n-1}$ for each $n\Rightarrow$ the length of $O$ is $\sum_{n=1}^{\infty}1/2^{n-1}=\displaystyle \frac{1}{1-1/2}=2\Rightarrow $the length of 

$\bigcup_{i=1}^{k}V_{\epsilon_{n_{i}}}(r_{n_{i}}) $ 

is at most $2$. But the length of $[0,3]$ is $3\Rightarrow 
\bigcup_{i=1}^{k}V_{\epsilon_{n_{i}}}(r_{n_{i}})$ does not cover $[0,3]$

Remark: The problem does not mention $[0,3]$. My strategy to proving that $F\neq \emptyset$ is to consider $[0,3]$ and show that it cannot be covered by $O$.

$\textbf{Thoughts}$

Am I right with what I have ?(don't want the solution please). If so, can I just say it like that? (then the "scratchwork" is actually a proof). Is there a better strategy? And on a final note, I did not use any of the ideas provided in this section but This problem is just an indexed question so I'm not too worried about that.
So the essence of your proof is that $\mu(O)\le M$ for some constant $M$ (3 maybe) and so $O$ cannot be $\mathbb{R}$ which has infinite Lebesgue measure. The idea seems OK to me.
I came up with this:

If $|x|&lt;\epsilon \wedge |y|&lt;\delta \Rightarrow |x-y|\leq |x|+|y|&lt;\epsilon +\delta$. Suppose $[0,3]\subseteq \bigcup_{n=1}^{\infty}V_{\epsilon_{n}}(r_{n})\Rightarrow \exists r_{1},\ldots r_{k}$ such that $[0,3]\subseteq \bigcup_{i=1}^{k}V_{\epsilon_{n_{i}}}(r_{n_{i}})$. Let $x,y\in \bigcup_{i=1}^{k}V_{\epsilon_{n_{i}}}(r_{n_{i}})\Rightarrow \exists p,q\in \mathbb{Z}^{+}$ such that $x\in V_{\epsilon_{p}}(r_{n_{p}})$ and $y\in V_{\epsilon_{q}}(r_{n_{q}})$. We have $r_{n_{p}}\in (-1/2^{n_{p}}, 1/2^{n_{p}})$ and $r_{n_{q}}\in (-1/2^{n_{q}},1/2^{n_{q}})\Rightarrow |r_{n_{p}}-r_{n_{q}}|\leq 1/2^{n_{p}}+1/2^{n_{q}}\Rightarrow |x-y|=|x-r_{n_{p}}+r_{n_{q}}-y+r_{n_{p}}-r_{n_{q}}|\leq |x-r_{n_{p}}|+|y-r_{n_{q}}|+|r_{n_{p}}-r_{n_{q}}|&lt;1/2^{n_{p}}+1/2^{n_{q}}+1/2^{n_{p}}+1/2^{n_{q}}=\displaystyle \frac{1}{2^{n_{p}-1}}+\frac{1}{2^{n_{q}-1}}\leq \sum_{i=1}^{\infty}\frac{1}{2^{n_{i}-1}}=2 $. But if $x=0, y=3\Rightarrow x,y\in [03]\wedge |x-y|=3$ contrary to $x,y\in 
\bigcup_{i=1}^{k}V_{\epsilon_{n_{i}}}(r_{n_{i}}) \Rightarrow F\neq \emptyset$.