Kolmogorov's law of the iterated logarithm for noncommutative martingales

We prove Kolmogorov’s law of the iterated logarithm for noncommutative martingales. The commutative case was due to Stout. The key ingredient is an exponential inequality proved recently by Junge and the author.