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