это, кажется, неравенство цирельсона.
тут тоже можно посчитать выгодность.
в общем случае у игроков есть по два эрмитовых оператора со спектрами +-1: A0 (для 0 на входе) и A1 (для 1) у первого, B0 и B1 у второго. они выбирают оператор, проводят проективное измерение и в зависимости от результата (собственное пространство +1 или -1) говорят ответ (0 или 1).
мат.ожидание игры сверху ограничено максимальным собственным значением для
(A0*B0+A0*B1+A1*B0-A1*B1)/4
если это дело возвести в квадрат, раскрыть скобки, и заменить каждое слагаемое на максимально возможное, то получим 1/2, т.е. исходное ожидание не больше 1/sqrt(2).
как-то так