Entropy inequality