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

Write $S_L={\sum }_{i=1}^L{A}_i$ and $Z_L=S_L/L$. The cumulant-generating function of one normal random variable isCramér's theorem states that empirical means of independent and identically distributed random variables whose moment-generating function is finite on a neighborhood of zero satisfy a large deviation principle at the sample-size large-deviation speed, with good rate function equal to the Legendre-Fenchel transform of their cumulant-generating function. Here that givesFor ${\sigma }^2>0$, differentiation gives the maximizing parameter $\theta =(x-\mu )/{\sigma }^2$, and henceThis rate function tends to infinity as $|x|\to \infty$, so its finite sublevel sets are compact. Equivalently, the Gärtner–Ellis theorem applies because the limiting scaled cumulant-generating function is finite and differentiable everywhere; it is lower semicontinuous and essentially smooth, with no finite domain boundary at which to check steepness. If ${\sigma }^2=0$ is permitted, $Z_L=\mu$ deterministically and the rate function is zero at $\mu$ and infinity elsewhere.