The VNM theorem is one of the classic results of Bayesian decision theory. It establishes that, under four assumptions, a preference relation must be representable by maximum-expectation decision making over some real-valued utility function. (In other words, rational decision making is best-average-case decision making.)