The Law of the Iterated Logarithm

Abstract

There are surprisingly few books that have complete proofs of the law of the iterated logarithm. This is like many theorems that are hard to prove, and which are often given a squalid sketch that might be useful to the author as a memory aid but which is unlikely to help someone seeing the result for the first time, especially when the result is not even stated with the meticulous precision a newcomer needs. Indeed, what a serious beginner needs most are as many details as can be given, rather than a presentation that the master imagines gets to the point. Aside from some books making assumptions that are not needed for the result to be true, such as having finite third moments, most books present the Hartman-Wintner law of the iterated logarithm, which talks about the limit superior and limit inferior of a sequence. There is a version due to Strassen that makes a single assertion about the set of limit points of a sequence rather than merely its limit inferior and limit superior. For a sequence of real numbers xn, we denote the set of limit points of the sequence by