Três operários conseguem construir um muro em 12 dias. Se forem contratados 4 operários, quantos dias serão necessários para construir o mesmo muro, assumindo que a produção seja inversamente proporcional ao número de operários?