Past exam of the mathematics course of the University of Cambridge / 2003 / iii / Paper 79 / 2 / b / Solution

Fix a finite $r\ge 0$ and choose $M>r$. By exponential tightness, choose a compact set $K_M$ with outside probability having upper exponential rate strictly below $-M$. A compact set in a Hausdorff space is closed, so its complement is an open set. The lower bound of the weak large deviation principle givesConsequently ${\inf }_{K_M^c}I>M$, and $\{I\le r\}\subset K_M$. Lower semicontinuity makes this sublevel set closed in $E$, hence a closed subset of a compact set. Thus it is compact. Every finite sublevel set is compact, so $I$ is a good rate function.