Sanov's theorem