CHSH inequality