Os ramais de telefone em uma repartição têm 4 dígitos, formatados com os algarismos 0, 1, ..., 9. Se esses números possuem pelo menos um dígito repetido, então a quantidade de números de ramais que é possível formar é superior a 4.000.