We give a general method for constructing a deterministic strategy of Reality from a randomized strategy in game-theoretic probability. The construction can be seen as derandomization in game-theoretic probability.

We prove both the validity and the sharpness of the law of the iterated logarithm in game-theoretic probability with quadratic and stronger hedges.