Lieb, Elliott H.: Inequalities