Clauser, Horne, Shimony, and Holt (1969)

Given

Ai,Bj{±1}A_i,B_j\in\{\pm 1\}

then CHSH postulated it to be

E[A1B1]E[A1B2]+E[A2B1]+E[A2B2]2\big|\mathbb{E}[A_1 B_1] - \mathbb{E}[A_1 B_2] + \mathbb{E}[A_2 B_1] + \mathbb{E}[A_2 B_2]\big| \leq 2

This is derived, explained and disproved in Bell's Theorem QM actually reaches 222\sqrt{2} as an upperbound.