From 6972a481bb12c8fbb7bcd6fe78c525f50c584d4e Mon Sep 17 00:00:00 2001
From: Josia Pietsch <josia.pietsch@uni-bonn.de>
Date: Wed, 12 Jul 2023 15:27:39 +0200
Subject: [PATCH] small changes

---
 inputs/lecture_07.tex | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/inputs/lecture_07.tex b/inputs/lecture_07.tex
index d18cde4..34a0d0b 100644
--- a/inputs/lecture_07.tex
+++ b/inputs/lecture_07.tex
@@ -43,8 +43,8 @@ For the proof we'll need a slight generalization of \autoref{thm2}:
     By \autoref{thm4} it follows that $\sum_{n \ge 1}  Y_n < \infty$
     almost surely.
     Let $A_n \coloneqq \{\omega : |X_n(\omega)| > C\}$.
-    Since the first series $\sum_{n \ge 1}  \bP(A_n) < \infty$,
-    by Borel-Cantelli, $\bP[\text{infinitely many $A_n$ occur}] = 0$.
+    Since $\sum_{n \ge 1}  \bP(A_n) < \infty$ by assumption,
+    Borel-Cantelli yields $\bP[\text{infinitely many $A_n$ occur}] = 0$.
 
 
     For the proof of (b), suppose $\sum_{n\ge 1} X_n(\omega) < \infty$