Académique Documents
Professionnel Documents
Culture Documents
• Ecrivons plutôt p n
√ n
(1a1 )(2a2 ) . . . (nan ) 1 X
n
a1 . . . an = √n
≤ √
n
kak
n! n n! k=1
+∞
X +∞ µ
X ¶
1 1 1 1
Nous allons user de l'identité = − = ; on peut écrire :
n(n + 1) n n+1 k
n=k n=k
n
√ n + 1 X kak
n
a1 . . . an ≤ √n
n! k=1 n(n + 1)
kak
• La famille (vk,n )k,n≥1 dénie par vk,n = n(n+1) pour 1 ≤ k ≤ n et 0 sinon est sommable puisqu'elle
est positive, que pour k xé,
+∞
X +∞
X +∞
X 1 1
vk,n = vk,n = kak = kak = ak
n=1
n(n + 1) k
n=k n=k
n+1
• La quantité √n
admet une limite en +∞ puisque la formule de Stirling donne
n!
n+1 e
√ ∼ n =e
n
n! n∞ n
n+1 √
Par conséquent, il existe C ≥ 0 tel que pour tout n ≥ 1, √n
≤ C . Ainsi, si N ≥ 1, n a1 . . . an ≤
n!
n n
n+1 X X
√
n
vk,n ≤ C vk,n et
n! k=1 k=1
N q
X N
X n
X X +∞ +inf
X Xty +∞
X
√
n n
a1 . . . an ≤ C vk,n ≤ C vk,n ≤ C vk,n = C ak
n=1 n=1 k=1 (k,n)∈(N∗ )2 k=1 n=1 k=1
P√
La série n a1 . . . an étant à termes positifs, elle est convergente et
+∞
X +∞
X
√
n
a1 . . . an ≤ C an
n=1 n=1
1
n+1
• Recherchons maintenant la meilleure constante C . Nous allons prouver qu'en fait √n
≤ e. Cette
n!
inégalité est équivalente à
n n+1
1X X
ln(n + 1) ≤ 1 + ln k ou encore à (n + 1) ln(n + 1) − n ≤ ln k
n
k=1 k=1
Z k
Or pour 2 ≤ k ≤ n + 1, on a ln k ≥ ln xdx. On en déduit que
k−1
n+1
X n+1
X Z n+1
ln k = ln k ≥ ln xdx
k=1 k=2 1
et comme
Z n+1
n+1
ln xdx = [x(ln x − 1)]1 = (n + 1) ln(n + 1) − (n + 1) − (−1) = (n + 1) ln(n + 1) − n
1
• C'est en fait la meilleure constante possible. Soit C une constante réalisant l'inégalité. Il y a égalité
dans l'inégalité arithmético-géométrique lorsque tous les termes sont égaux : 1a1 = 2a2 = . . . = nan . On
1
aurait envie de choisir ak = mais la série harmonique diverge. Aussi, xons N un entier naturel non
k
nul et posons ak = k1 pour 1 ≤ k ≤ N et ak = 0 pour k > N . Ainsi,
N
X XN
1 1
√ ≤ C ∼ C ln N
n=1
n
n! n=1
n N∞
1 e
tandis que √ ∼ est le terme général d'une série divergente. Par conséquent, la somme partielle
n
n! n∞ n
P
N
1
P
N
e
√
n
n!
est équivalent à n ∼ e ln N . Nécessairement, e ≤ C .
n=1 n=1 N∞
P
Conclusion : pour toute série an à termes positifs, on a l'inégalité
+∞
X +∞
X
√
n
a1 . . . an ≤ e an
n=1 n=1