cooling inequality