Laws of the iterated logarithm for local times of the empirical process (Q1897189)

The upper and lower laws of the iterated logarithm for the maximum of the local time of the uniform empirical process are proved. Thus two open problems cited in the book of Shorack and Wellner are solved. The authors give exact expansions for the upper and lower tales of the distribution of the maximum of local time of standard Brownian bridge on \([0,1]\) and use them in the proof.