That's the way to prove that the computable reals have measure zero, which means that they are an infinitesimal part of the unit interval, that they have zero probability.
You say they have measure zero.