> This means that the average lottery winner will win prize_pool / (n/2). Does it? Take the case n=2. Run the lottery a few times and take all the winners. H

> This means that the average lottery winner will win prize_pool / (n/2). Does it? Take the case n=2. Run the lottery a few times and take all the winners. Half the winners win prize_pool. Half the winners win prize_pool/2. How do you define “average lottery winner” so the average lottery winner will win prize_pool / (n/2) = prize_pool ?