Dados los enteros positivos $m$ y $n \ge m$, determine el número más grande de dominós (rectángulos de $1\times2$ o $2 \times 1$) que se pueden colocar en un tablero rectangular con $m$ filas y $2n$ columnas que consisten en celdas (cuadrados de $1 \times 1$) de modo que: (i) cada dominó cubre exactamente dos celdas adyacentes del tablero; (ii) no hay dos dominós que se superpongan; (iii) no hay dos que formen un cuadrado de $2 \times 2$; y (iv) la fila inferior del tablero está completamente cubierta por $n$ dominós.