Fonctions d’une variable réelle, III, p. 25
Les notations étant celles de l’exerc. 6, montrer que l’on a
μ1G1+μ2G2+…+μnGn≤λ1a1+λ2a2+…+λnan pourvu que l’on ait
λk≥0 pour tout
k et
μk=k((λkβk)1/k−βk1/k)pour 1≤k≤n avec
βk≥0 pour tout
k,β1≤1 et
βn+1=0 (méthode de l’exerc. 8). En particulier, pour des choix convenables des
λk et
βk, on a les inégalités
G1+G2+…+Gn+nGn≤2a1+(23)2a2+…+(nn+1)nan et en particulier (inégalité de Carleman)
G1+G2+…+Gn<e(a1+a2+…+an); eAn≥ΓneGn/Γn où
Γn=(G1+G2+…+Gn)/n (amélioration de l’inégalité de Carleman);
GnAn≥21(GnΓn+ΓnGn) si la suite
(ak) est croissante;
nGn−mGm≤am+1+am+2+…+an.