A subadditivity property of multiplier ideals.