Suppose Pn is a sequence of probabilities and Xn is a sequence of real-valued random variables; the distribution of Xn under Pn is denoted L(Xn|Pn). Prove that L(Xn|Pn) is tight if and only if Xn/an → 0 in Pn-probability for every sequence an ↑ ∞.