Sea $n \geqslant 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+\ldots+x_n$, y asuma que $s \geqslant 3$. Pruebe que existen enteros $i$ y $j$ con $1 \leqslant i<j \leqslant n$ tales que \[2^{j-i}x_ix_j>2^{s-3}.\]