What would happen to the size of the carnivore population if the herbivore population increased?