Redirecting to Gårding's inequality