Considera $0<\lambda<1$, y sea $A$ un multiconjunto de enteros positivos. Sea $A_n=\{a\in A: a\leq n\}$. Supón que para cada $n\in\mathbb{N}$, el conjunto $A_n$ contiene a lo más $n\lambda$ números. Demuestra que hay infinitos $n\in\mathbb{N}$ para los cuales la suma de los elementos en $A_n$ es a lo más $\frac{n(n+1)}{2}\lambda$. (Un multiconjunto es una colección tipo conjunto de elementos en la que se ignora el orden, pero se permite la repetición de elementos y la multiplicidad de los elementos es significativa. Por ejemplo, los multiconjuntos $\{1, 2, 3\}$ y $\{2, 1, 3\}$ son equivalentes, pero $\{1, 1, 2, 3\}$ y $\{1, 2, 3\}$ difieren.)