Qiaochu_Yuan comments on Pascal’s wager