Assume and write . The independence axiom for lottery preferences gives because . Set ; then . A second use of the same axiom gives . Thus a higher probability of the strictly preferred outcome strictly improves a two-outcome lottery.
New to topics? Read the docs here!