Aleksandrov-Fenchel inequality for coconvex bodies

We prove a version of the Aleksandrov-Fenchel inequality for mixed volumes of coconvex bodies. This version is motivated by an inequality from commutative algebra relating intersection multiplicities of ideals.