Large deviation principle
= Large deviation principle
{wiki}
A sequence $(Z_n)$ satisfies a large deviation principle with speed $n$ and rate function $I$ when probabilities of measurable sets $A$ decay exponentially between the bounds
$$
-\inf_{x\in A^\circ}I(x)
\leq\liminf_n\frac1n\log\mathbb P(Z_n\in A)
\leq\limsup_n\frac1n\log\mathbb P(Z_n\in A)
\leq-\inf_{x\in\overline A}I(x).
$$