A functional law of the iterated logarithm for distributions in the domain of partial attraction of the normal distribution
A real-variable proof of a functional generalised law of the iterated logarithm due to Kesten, Kuelbs and Zinn is given, and extended to a trimmed case.