Fonctions d’une variable réelle, II, p. 32
Soit f une fonction numérique croissante convexe et continue dans un intervalle (0, a) et telle que f(0)=0. Si a1≥a2≥⋯≥an≥0 est une suite finie décroissante de points de (0, a), montrer que l’on a
f(a1)−f(a2)+⋯+(−1)n−1f(an)≥f(a1−a2+⋯+(−1)n−1an). (On peut se borner au cas où
n=2m est pair; remarquer que pour
1≤j≤m, on a
∫αβf′(t)dt≤∫a2ja2j−1f′(t)dt où
α=a2j+1−a2j+2+⋯+a2m−1−a2m et
β=α+(a2j−1−a2j).)