The sharp Gårding inequality
1974 ◽
pp. 139-149