Strassen's law of the iterated logarithm
Strassen’s functional form of the law of the iterated logarithm is formulated for partial sums of random variables with values in a strict inductive limit of Frechet spaces of Hilbert space type. The proof depends on obtaining Berry-Essen estimates for Hilbert space valued random variables.