Comment by dmurray

> The union V_n = U_1 + U_2 + ... + U_n has combined length 1 - 1/2*n < 1, so it can't contain [0, 1].

This argument seems way less convincing to me than the diagonalization argument, because as n is going to infinity that length does become 1.