We can prove that almost all irrational numbers are normal, which is a quite large set. It's just when we pick out a particular irrational number that we have difficulty proving normality (unless that irrational number was intentionally constructed to be normal).