Solution
= Solution
Differentiability gives $\varphi(u)=1+iau+o(u)$ at zero. By the <characteristic function of a sum of independent variables>,
$$
\mathbb E e^{itS_n/n}=\varphi(t/n)^n\longrightarrow e^{iat},
$$
the characteristic function of the constant $a$. The <Lévy continuity theorem> yields $S_n/n\xrightarrow d a$, and convergence in distribution to a constant is equivalent to <convergence in probability>.