For IID mean 0, var 1: limsup S_n/√(2n log log n) = 1 a.s. Refines CLT fluctuations; Hartman-Wintner.