Assume we have 10 coins, and each has its own probability of getting a head. We toss each coin a different number of times, say 10 times for the first coin, 15 times for the second coin, and so on. What is the probability of getting a head at least once in at least 5 different coins?
My thinking is that the probability for getting at least one head from a coin tossed $k$ times with a head probability of $p$ can be computed from the binomial distribution. Example R code:
sum(dbinom(1:k, k, p))
But I don't know how to generalize it to multiple coins mathematically or computationally.
The answers in this post can be generalized to the case I am proposing here. The post discusses calculating probability of success in trials when the probabilities for each trial is different. In my case, the probability of trial is from binomial distribution instead of bernoulli.
In the following solution, I use the R implementation provided by @Zen. It was discussed in the post that when the number of coins is high, the solution will not be computationally efficient, but this is ok in my case.
And here is the computationally efficient solution, taken from @whuber in this post