lottery_paradox