Formula for probability of independent events