5. Soit (an)n≥1une suite de réels. Soit cun réel.
a. Montrer que lim sup an> c si et seulement s’il existe un réel c0> c tel qu’on ait
an> c0pour une infinité de n.
b. Montrer que lim sup an< c si et seulement s’il existe un réel c0< c tel que an< c0
pour nassez grand.
Solution de l’exercice 5. a. Supposons lim sup an> c. Il existe une sous-suite de (an)n≥1
qui converge vers lim sup an. Soit (ank)k≥1une telle sous-suite. Soient c0et c00 tels que
c<c0< c00 <lim sup an. Le fait que la suite (ank)k≥1converge vers lim sup anassure que
pour kassez grand, on a ank≥c00 > c0. Ainsi, la suite (an)n≥1a une infinité de termes
strictement supérieurs à c0.
Réciproquement, supposons qu’il existe c0> c et une infinité de ntels que an> c0. La
suite (an)n≥1possède donc une sous-suite (bk)k≥1dont tous les termes sont strictement
supérieurs à c0. Toute valeur d’adhérence de cette sous-suite est donc supérieure ou égale
àc0. Par ailleurs, toute valeur d’adhérence de (bk)k≥1est aussi une valeur d’adhérence de
(an)n≥1. Ainsi, lim sup an≥lim sup bk≥c0> c.
b. Supposons an< c0pour nassez grand. Alors toute suite extraite de anest bornée
asymptotiquement par c0, donc toute limite de suite extraite de anest inférieure ou égale
àc0. Ainsi, lim sup an≤c0< c.
Réciproquement, supposons que lim sup an< c. On peut trouver c0tel que lim sup an<
c0< c. Alors en reprenant les notations de l’exercice précédent, vu la décroissance de sp,
il existe un Ntel que sp< c0pour tout p>N, en particulier sN< c0ce qui donne par
définition de sN, pour tout n>N,an< c0< c.
6. Soit (Xn)n≥1une suite de variables aléatoires de loi exponentielle E(1).
a.Montrer que Plim sup Xn
log n>1= 0.
On suppose désormais X1, X2, . . . indépendantes.
b. Montrer que Plim sup Xn
log n<1= 0. Montrer que ce résultat peut être faux
sans l’hypothèse d’indépendance.
c. Montrer que lim sup Xn
log nest presque sûrement égale à une constante que l’on déter-
minera.
d. Montrer que lim inf Xnest presque sûrement égale à 0.
Solution de l’exercice 6. a. D’après l’exercice 3, on a
lim Xn
log n>1=[
k≥1Xn
log n>1 + 1
kinfiniment souvent
=[
k≥1
lim sup
n→∞ Xn
log n>1 + 1
k.
5