We prove an Erdos-Feller-Kolmogorov-Petrowsky law of the iterated logarithm for self-normalized martingales. Our proof is given in the framework of the game-theoretic probability of Shafer and Vovk. As many other game-theoretic proofs, our proof is self-contained and explicit.
We give a game-theoretic proof of the celebrated Erdos-Feller-Kolmogorov-Petrowsky law of the iterated logarithm for fair coin tossing. Our proof, based on Bayesian strategy, is explicit as many other game-theoretic proofs of the laws in probability theory.
