Sea $n$ un entero positivo, y $a_j$, para $j=1,2,\ldots,n$ son números complejos. Suponga que $I$ es un subconjunto no vacío arbitrario de $\{1,2,\ldots,n\}$, la desigualdad $\left|-1+ \prod_{j\in I} (1+a_j) \right| \leq \frac 12$ siempre se cumple. Demuestre que $\sum_{j=1}^n |a_j| \leq 3$.