4 Sea $n$ un entero positivo. Los números $\{1, 2, ..., n^2\}$ se colocan en una cuadrícula de $n \times n$ , cada uno exactamente una vez. Se dice que la cuadrícula es Muirhead-able si la suma de las entradas de cada columna es la misma, pero para todo $1 \le i,k \le n-1$ , la suma de las primeras $k$ entradas de la columna $i$ es al menos la suma de las primeras $k$ entradas de la columna $i+1$ . ¿Para qué $n$ se puede construir una cuadrícula Muirhead-able cuyas entradas en cada columna sean decrecientes? Propuesto por Evan Chen