莱维不等式

levi inequality