gwern comments on How much to spend on a high-variance option?