The Grothendieck constant is strictly smaller than Krivine's bound
arXiv:1103.6161
Abstract
We prove that $K_G<\fracÏ{2\log(1+\sqrt{2})}$, where $K_G$ is the Grothendieck constant.
An extended abstract describing the contents of this work will appear in FOCS 2011. Suggestions of the FOCS reviewers have been addressed