Trade-off between fertility and predation risk drives a geometric sequence in the pattern of group sizes in baboons