The Grothendieck constant is strictly smaller than Krivine's bound

Mark Braverman, Konstantin Makarychev, Yury Makarychev +1

We prove that $K_G<\frac{\pi }{2\log (1+\sqrt{2})}$, where $K_G$ is the Grothendieck constant.