Reference. Finite discovery probability [ftip-00IX]
✍️source

    For independent events with their declared success probabilities, the probability of at least one success is given in Theorem [ftip-0078].