MathDB
Beautiful inequality on sets

Source: 2021 China Girls Math Olympiad

August 13, 2021
inequalitiesSubsetsCGMO

Problem Statement

Given a finite set SS, P(S)P(S) denotes the set of all the subsets of SS. For any f:P(S)Rf:P(S)\rightarrow \mathbb{R} ,prove the following inequality:AP(S)BP(S)f(A)f(B)2AB0.\sum_{A\in P(S)}\sum_{B\in P(S)}f(A)f(B)2^{\left| A\cap B \right|}\geq 0.