Em um departamento, o gerente percebeu que o tempo necessário para finalizar um lote de ofícios depende diretamente da quantidade de servidores trabalhando. Em um determinado dia, verificou-se que, quando 6 servidores são designados para a tarefa, o lote fica pronto em 15 horas. Considerando que o ritmo de trabalho de todos os servidores é constante e que o tempo de execução é inversamente proporcional ao número de servidores, qual seria o tempo necessário para finalizar o mesmo lote caso houvesse 10 funcionários na tarefa?