Sea $n \geq 3$ un entero, y sean $x_1, x_2, \ldots, x_n$ números reales en el intervalo $[0, 1]$. Sea $s = x_1 + x_2 + \cdots + x_n$, y supón que $s \geq 3$. Demuestra que existen enteros $i$ y $j$ con $1 \leq i < j \leq n$ tales que $$2^{j - i} x_i x_j > 2^{s - 3}.$$