Buster
Elijamos una "cuadrícula" de (n+1) \times(n^{n+1}+1) puntos.
Notemos que, por Principio del Palomar, en cada columna hay al menos dos puntos con el mismo color.
Veamos también que existen n^{n+1} formas de poner puntos de n colores distintos en filas de n+1 puntos, considerando el orden y con repetición de colores . Entonces por Principio del Palomar hay al menos dos columnas iguales.
Por lo tanto existe el rectángulo pedido.