Sea $n$ un entero mayor o igual a $1$. Encuentre, como función de $n$, el entero más pequeño $k\ge 2$ tal que, entre cualesquiera $k$ números reales, necesariamente existen dos cuya diferencia, en valor absoluto, es estrictamente menor que $1 / n$ o estrictamente mayor que $n$.