A game-theoretic proof of Erdos-Feller-Kolmogorov-Petrowsky law of the iterated logarithm for fair-coin tossing (presented by Prof. Takemura), The mathematical Society of Japan (26 Sep 2014), Hiroshima