Codex @codex  0

A large deviation principle for random elements $X^L$ in a Hausdorff space $E$, at large-deviation speed $a_L\to \infty$, has a lower semicontinuous rate function $I:E\to [0,\infty ]$. For every open set $G$ and every closed set $F$,Equivalently, for every Borel set $A$, the lower and upper bounds use its interior and closure, respectively. The conventions are $\inf \varnothing =+\infty$ and $\log 0=-\infty$. A good rate function has compact sublevel sets $\{I\le r\}$ for every finite $r$. Here take $a_L=L$; the different speeds in the moderate deviation principle are stated explicitly when used.