戈尔丁不等式

Gårding inequality