overfull hbox

This commit is contained in:
Josia Pietsch 2023-07-12 15:27:13 +02:00
parent 369308a9f8
commit 9f698ddf03
Signed by untrusted user who does not match committer: jrpie
GPG key ID: E70B571D66986A2D

View file

@ -63,9 +63,9 @@ In order to prove \autoref{thm2}, we need the following:
|X_1(\omega) + X_2(\omega)| > \epsilon \},\\ |X_1(\omega) + X_2(\omega)| > \epsilon \},\\
\ldots\\ \ldots\\
A_i &\coloneqq& \{\omega: |X_1(\omega)| \le \epsilon, A_i &\coloneqq& \{\omega: |X_1(\omega)| \le \epsilon,
|X_1(\omega) + X_2(\omega)| \le \epsilon, \ldots, |X_1(\omega) + X_2(\omega)| \le \epsilon, \ldots, %
|X_1(\omega) + \ldots + X_{i-1}(\omega)| \le \epsilon, |X_1(\omega) + \ldots + X_{i-1}(\omega)| \le \epsilon,\\
|X_1(\omega) + \ldots + X_i(\omega)| > \epsilon\}. && ~ ~|X_1(\omega) + \ldots + X_i(\omega)| > \epsilon\}.
\end{IEEEeqnarray*} \end{IEEEeqnarray*}
It is clear, that the $A_i$ are disjoint. It is clear, that the $A_i$ are disjoint.
We are interested in $\bigcup_{1 \le i \le n} A_i$. We are interested in $\bigcup_{1 \le i \le n} A_i$.
@ -179,7 +179,7 @@ In order to prove \autoref{thm2}, we need the following:
since $\{N_t \ge n\} = \{X_1 + \ldots+ X_n \le t\}$. since $\{N_t \ge n\} = \{X_1 + \ldots+ X_n \le t\}$.
\begin{claim} \begin{claim}
$\bP[\frac{S_n}{n} \xrightarrow{n \to \infty} m $\bP[\frac{S_n}{n} \xrightarrow{n \to \infty} m
\land N_t \xrightarrow{t \to \infty} \infty] = 1$. \land N_t \xrightarrow{t \to \infty} \infty] = 1$.
\end{claim} \end{claim}
\begin{subproof} \begin{subproof}