Large-deviation rate functions

P(A_N ≈ a) ~ e^(-N I(a)) with convex rate function I; Gartner–Ellis theorem; Legendre transform of cumulant-generating function.