The measurability of the winning strategies and of the learning algorithm developped in the previous section constitutes an important detail, extensively discussed in [1]}, in order to move from the adversarial setting to the probabilistic one. We provide the next useful result. Its proof can be found at proof:measurability.
