si f est une fonction convex (res. concave)
et si la suite (x1,x2,...,xn) majore la suite (y1,y2,.....,yn)
on f(x1)+f(x2)+....+f(xn)>_(res._<)f(y1)+f(y2)+....+f(yn)
c'est une inégalité qui n'est pas connu mais elle est très utile dans plusieurs problèmes , c'est généralisation de l'inégalité de jensen
si on prend A=x1+x2+....+xn/n et y1=...=yn=A
on aura
f(x1)+f(x2)+....+f(xn)>_ nf(x1+x2+....+xn/n)
donc
1/n(f(x1)+.....+f(xn))>_ f(x1+x2+.....+xn/n)