Dado un conjunto finito $S$ , $P(S)$ denota el conjunto de todos los subconjuntos de $S$ . Para cualquier $f:P(S)\rightarrow \mathbb{R}$ , demuestra la siguiente desigualdad: $$\sum_{A\in P(S)}\sum_{B\in P(S)}f(A)f(B)2^{\left| A\cap B \right|}\geq 0.$$