 Brownian upper law of the iterated logarithm

For standard Brownian motion, the Brownian reflection principle bounds the probability that its maximum up to $a^n$ exceeds $(1+\epsilon )\sqrt{2a^n\log \log (a^n)}$ by $2(n\log a{)}^{-(1+\epsilon {)}^2}$. This is summable for every $a>1$ and $\epsilon >0$. The Borel-Cantelli first lemma controls these geometric times, monotonicity of the normalizing function controls the intervening times, and countable choices $a\downarrow 1$, $\epsilon \downarrow 0$ give the bound. Equality requires a separate lower-bound proof.