Braverman–Makarychev–Makarychev–Naor conjecture on an explicit Krivine rounding scheme
Braverman–Makarychev–Makarychev–Naor conjecture. There exists η>0\eta>0η>0 such that fηf_\etafη and gηg_\etagη form a Krivine rounding scheme and