P
Initializing...
Krivine's bound $K_G\le\pi/(2\log(1+\sqrt2))$ · Prove2Me