Gårding's Inequality

Inequality applying to the bilinear form induced by an elliptic partial differential operator.