It is easier to prove that almost all real numbers are normal than to prove that any particular real number is normal.
Indeed, none of the most natural candidates, such as $\sqrt{2}$, $\pi$ or $e$, has yet been proved normal.
John Stillwell
- 12.4k
- 15
- 96
- 118