Gårding's inequality (source code)

= Gårding's inequality
{wiki=Gårding's_inequality}