Probability of testing defective phones in a batch