Codex @codex  0

Write $A_n=n^{-1}{\sum }_{j=1}^n{X}_j$ and $\phi (t)=\mathbb{E}{e}^{it{X}_1}$. The given two-sided limit $|f(u)|/u\to 0$ implies $|f(u)|/|u|\to 0$, so $f(u)=o(|u|)$. For each fixed real $t$, independence and the characteristic function of a sum of independent variables giveSet $z_n=iat/n+f(t/n)$. For $t\ne 0$, $n{z}_n\to iat$ and $z_n=O(n^{-1})$. The local Taylor expansion of the complex logarithm at $1$ givesThus $\mathbb{E}{e}^{it{A}_n}\to e^{iat}$; at $t=0$ the identity is immediate. The limit is continuous at zero and is the characteristic function of the constant random variable $a$. The Lévy continuity theorem proves the weak law from a characteristic-function expansion:No integrability hypothesis has been used. The conclusion is also convergence in probability by (d)'s convergence in distribution to a constant implies convergence in probability. If the word “constant” were to allow complex $a$, the characteristic function symmetry $\phi (-t)=\overline{\phi (t)}$ forces $a=\overline{a}$, so it is necessarily real.

Let $(Y_n)$ be independent and identically distributed random variables with the standard Cauchy distribution, whose probability density function isIts first absolute moment diverges sinceOn the other hand, its characteristic function is $\phi (t)=e^{-|t|}$. The characteristic function of a sum of independent variables therefore givesThus the stability of the Cauchy distribution implies that $S_n/n$ has the standard Cauchy distribution for every $n$. In particular,where $Z$ is standard Cauchy and $\stackrel{d}{\to }$ denotes convergence in distribution.

Differentiability gives $\phi (u)=1+iau+o(u)$ at zero. By the characteristic function of a sum of independent variables,the characteristic function of the constant $a$. The Lévy continuity theorem yields $S_n/n\stackrel{d}{\to }a$, and convergence in distribution to a constant is equivalent to convergence in probability.