Let represent the Cantor set.

Q: Show that there exists satisfying .

I found some work that goes like this...

. Then we have, . So, . Thus, for all , we can find an satisfying

I am not sure that I follow exactly what is being done. Can someone help me to understand the work above. Do I think of these intervals as only lengths?

thanks