Sea $n$ un entero positivo dado. Sísifo realiza una secuencia de turnos en un tablero que consta de $n + 1$ casillas en una fila, numeradas de $0$ a $n$ de izquierda a derecha. Inicialmente, se colocan $n$ piedras en la casilla $0$ , y las otras 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 a 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$ . Demuestra 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 usual, $\lceil x \rceil$ representa el menor entero no menor que $x$ . )