Sea $x$ un número real cuya representación decimal incluye todos los dígitos del $0$ al $9$ al menos una vez. Supongamos que existe un entero $n\geq 1$ tal que hay a lo sumo $n+8$ cadenas distintas de $n$ dígitos consecutivos en dicha representación decimal. Demostrar que $x$ es racional.