Let $ X \sim N (0, 1)$. For $x$ large enough, the tail of the distribution of $X$ may be approximated as $$P(X > x) \sim e^{-x^2/2}/(x\sqrt{2\pi})$$ Consider a sequence of independent r.v. all having a standard normal distribution. For every $a > 0$, $n = 1, 2, \ldots$, define the event $$U_{a,n} =\left \lbrace X_n \ge a\times \log(n)\right \rbrace.$$
a) Calculate $P(\limsup \, U_{a,n})$, which may depend on $a$.
b) Prove $\limsup \left(X_n/\sqrt{\log(n)} \right) = \sqrt{2} $ a.e.
Should we do this question by thinking about the distribution of $X/\sqrt{\log(n)}$? Or just plug in $ \{X_n \ge a\times \log(n)\}$ into the formula above?
I did it but cannot proceed anymore.