C'est long à écrire... Disons que ça part de l'inégalité suivante et considérant :
t = int_Omega f du ; phi est convexe ; f est régulière et comprise entre a et b ;
phi(s) >= phi(t) + B(s-t) avec s dans l'ouverture ]a,b[
D'où : phi(f(x)) - phi(t) - B(f(x) - t ) >= 0
Pas besoin de montrer le reste de la preuve, il manque des éléments, juste l'origine de l'inégalité et deviner B.