Champernowne Constant is Normal/Historical Note

Historical Note on Champernowne Constant is Normal
The Champernowne constant was constructed by as an example of a real number which was demonstrably normal.

He did this in the paper of, while still an undergraduate.