Let The extreme values of the product occur at one of the four points corresponding to the products of the extreme values of the inputs.
propagating intervals through multiplication nodes therefore requires four multiplications.