This problem has bothered me for some time. Thank you for your input. If a running count at a penetration position pen is RC_pen, and then the true count is
TC_pen= 52 RC_pen/(312-pen).
At the next card, the running count RC_pen+1, and thus the true count is
TC_pen+1 = 52 RC_pen+1/(312-pen-1).
If the current TC_pen is nonzero, it follows that
TC_pen+1 must be different from TC_pen.
Bookmarks