Garding Inequality