Sabe-se que um grupo de 17 mergulhadores é capaz de realizar buscas em todo o fundo de um lago em sete horas. Utilizando mergulhadores com a mesma capacidade de trabalho dos outros 17, o número mínimo necessário para que tal tarefa seja executada em, no máximo, três horas é:
