The base-10 concatenation 0.235711131719…; built from prime digits. Proven normal in base 10 (Copeland & Erdős, 1946).