Heinz inequality