Sea $n$ un entero positivo dado. Sísifo realiza una secuencia de turnos sobre un tablero formado por $n + 1$ casillas en fila, numeradas de $0$ a $n$ de izquierda a derecha. Inicialmente, se colocan $n$ piedras en la casilla $0$ , y las demás casillas están vacías. En cada turno, Sísifo elige cualquier casilla no vacía, digamos con $k$ piedras, toma una de estas piedras y la mueve hacia la derecha a lo sumo $k$ casillas (la piedra debe permanecer dentro del tablero). El objetivo de Sísifo es mover las $n$ piedras a la casilla $n$ . Demuestre que Sísifo no puede alcanzar el objetivo en menos de \[ \left \lceil \frac{n}{1} \right \rceil + \left \lceil \frac{n}{2} \right \rceil + \left \lceil \frac{n}{3} \right \rceil + \dots + \left \lceil \frac{n}{n} \right \rceil \] turnos. (Como es habitual, $\lceil x \rceil$ denota el menor entero no menor que $x$ . )