Sea $A$ un conjunto no vacío de enteros positivos. Supongamos que hay enteros positivos $b_1,\ldots b_n$ y $c_1,\ldots,c_n$ tales que - para cada $i$ el conjunto $b_iA+c_i=\left\{b_ia+c_i\colon a\in A\right\}$ es un subconjunto de $A$ , y - los conjuntos $b_iA+c_i$ y $b_jA+c_j$ son disjuntos siempre que $i\ne j$ Demuestra que \[{1\over b_1}+\,\ldots\,+{1\over b_n}\leq1.\]