Bell's theorem - for or against Hidden Variables?

[Schmelzer]

Experiment indicates that QM is correct and has nothing to say about Bell's inequalities.  You continue to compare apples with oranges. A proven mathematical inequality can't be false.

Of course, nobody talks about your funny inequality with 4 instead of 2. With 2, it is not a purely mathematical triviality, but derived by Bell based on a nontrivial assumption, namely Einstein causality. Once this is violated by quantum theory and observation, Einstein causality is dead.