Why the world’s biggest lottery jackpot wasn’t