Se 5 operários constroem um muro de 20 metros em 4 dias, quantos dias seriam necessários para 8 operários construírem um muro de 40 metros?