Certo trabalho pode ser realizado por 16 digitadores em 20 dias, trabalhando 6 horas diárias. Para executar metade desse trabalho em 16 dias, 12 digitado-res teriam que trabalhar diariamente:
