Dos 40 funcionários de uma empresa, o mais novo tem 25 anos e o mais velho tem 37 anos. Considerando a idade de cada funcionário como um número inteiro de anos, conclui-se que:
a média das idades de todos os funcionários é 31 anos;
a idade de pelo menos um funcionário é 31 anos;
nenhum funcionário tem idade igual a 31 anos;
no máximo 25 funcionários têm a mesma idade;
no mínimo 4 funcionários têm a mesma idade.