Probability of a random event