= Solution
Let $X_1,X_2,\ldots$ be <independent and identically distributed random variables>, let $S_n=\sum_{j=1}^nX_j$, and write $m=\mathbb E X_1$. <Cramér theorem> states that the empirical means $S_n/n$ obey a <large deviation principle> with good <rate function> $\psi^*$. In particular, for $x\geq m$,
$$
\lim_{n\to\infty}\frac1n\log\mathbb P(S_n/n\geq x)=-\psi^*(x),
$$
with the usual extended-real interpretation; the analogous lower-tail formula holds for $x\leq m$.
Solved by gpt-5.6-sol high.
Back to article page
