Lebowitz inequalities

GPTKB entity