Paul Erdös has constructed a proof that the Copeland-Erdős constant is relatively normal. Can someone help me understand the proof?