Para un entero $n \geq 3$, un entero $m \geq n + 1$ se llama $n$-colorido si, dado un número infinito de canicas de cada uno de los $n$ colores $C_1, C_2, \ldots, C_n$, es posible colocar $m$ de ellas alrededor de un círculo de manera que en cualquier grupo de $n + 1$ canicas consecutivas haya al menos una de color $C_i$ para cada $i = 1, 2, \ldots, n$. Demuestra que solo hay finitos enteros positivos que no son $n$-coloridos y encuentra el mayor de ellos.