I would just take a billion random samples and derive my probability from that. But I'm bad at math.