Hot: inequalities