Choosing the group size for group testing to estimate a proportion