Constante de Copeland-Erdős
Por el Teorema de Dirichlet sobre primos en progresiones aritméticas, para cada m existen números primos de la forma De esto se deduce que existen números primos cuya expresión decimal contiene al menos m ceros seguidos de un uno.
La conclusión es que la constante es irracional (Hardy y Wright, pág.
Por un argumento similar, cualquier constante creada por la concatenación de "0," y todos los primos de una progresión aritmética
Por el teorema de Dirichlet, la progresión aritmética
En base 10 la constante es un número normal, un hecho demostrado por Arthur Herbert Copeland y Paul Erdős en 1946 (de ahí el nombre de la constante).
La constante viene dada por esta fórmula: donde p(n) es el n-ésimo número primo.
