grothendieck's constant