The Grothendieck constant is strictly smaller than Krivines bound

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