Grothendieck inequality (source code)

= Grothendieck inequality
{wiki=Grothendieck_inequality}