gardings inequality