(\star)\quad f({1\over 2^n}\sum_{i=1}^{2^n}x_i)\le{1\over 2^n}\sum_{i=1}^{2^n}f(x_i)