Sea $n$ un entero posiivo. Sea $P_n=\{2^n,2^{n-1}\cdot 3, 2^{n-2}\cdot 3^2,\ldots, 3^n\}$. Para cada subconjunto $X\subset P_n$ decimos que $S_X$ es la suma de todos los elementos de $X$. Cuando $X=\emptyset$, $S_\emptyset=0$. Sea $0\leq y\leq 3^{n+1}-2^{n+1}$ un numero real, demuestra que existe un subconjunto $Y\subset P_n$ tal que $0\leq y-S_Y<2^n$.