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?