Lemme de Borel-Cantelli

Le lemme de Borel-Cantelli est un résultat de théorie de la mesure très utilisé en théorie des probabilités. Il intervient par exemple dans la preuve de Kolmogorov de la loi forte des grands nombres.