The Strassen law of the iterated logarithm in Banach function spaces
We consider, as a sample path space, a Banach function space of measurable functions defined by a function norm · . We prove that Brownian motion satisfies Strassen's law of the iterated logarithm with respect to the associate order continuous function norm · whenever the is finite almost surely.