 Solution

Fix a hidden variable in the deterministic local hidden-variable model, so that every $A_j,B_j$ is an integer. Let $[x{]}_d$ be the representative of $x$ modulo $d$ in $\{0,\dots ,d-1\}$. The terms in the chained modular Bell inequality alternate between the two parties. Before reduction their sum telescopes:After reduction, the sum $T$ is a nonnegative integer congruent to $-1$ modulo $d$. For $d\ge 2$, the smallest possible such integer is $d-1$. Thus $T\ge d-1$ for each hidden variable separately. Averaging over the setting-independent distribution givesHere each expectation is the expectation value of the reduced random variable, not the residue of its expectation. Each term can be measured using one setting at each site. The proof uses their common deterministic assignments rather than any joint quantum measurement of incompatible local settings. Stochastic local hidden-variable theories satisfy the same bound: include their local random seeds in $\lambda$ and average the resulting deterministic assignments.

The printed final coefficient in the definition of the average is typographically incomplete. The expectation used here is the usual $\mathbb{E}X={\sum }_{x=0}^{d-1}xP(X=x)$, with final coefficient $d-1$.