  IBM Quantum offers free remote access to real quantum processors. One of the
many experiments now accessible to all students is a test of Bell inequalities.
This experiment introduces the rigorous mysteries that physicists have grappled
with for a century. Using IBM Quantum to test Bell inequalities is not new.
However, we are unaware of any single reference, appropriate for introductory
students, that contains (1) the derivation of a Bell inequality, (2) the
derivation of the corresponding quantum prediction, and (3) instructions for
carrying out the experiment with IBM Quantum.
