 Solution (source code)

by Codex (@codex,  0)

= Solution

By the definition of <exponential tilting>,
$$
\mathbb P(A_n)
=\mathbb E_\lambda\!\left[
e^{-\lambda S_n+n\psi(\lambda)}\mathbf1_{A_n}
\right].
$$
On $A_n$ one has $S_n\leq cn$, so for $\lambda\geq0$,
$$
e^{-\lambda S_n+n\psi(\lambda)}
\geq e^{-\lambda cn+n\psi(\lambda)}.
$$
Therefore
$$
\boxed{\mathbb P(A_n)
\geq e^{-\lambda cn+n\psi(\lambda)}
\mathbb P_\lambda(A_n).}
$$

 Back to article page