Let \(\{W(t)\}_{t\geq 0}\) be a standard Brownian motion, and define \[ U(t):=e^{-t/2}W(e^t)\qquad \text {for all }t\geq 0. \]
(a) Prove that \(\{U(t)\}_{t\geq 0}\) is Gaussian process; compute its mean and covariance functions.
(b) Prove that \[ \limsup _{t\to \infty }\frac {U(t)}{\sqrt {2\ln t}} = -\liminf _{t\to \infty }\frac {U(t)}{\sqrt {2\ln t}} =1 \qquad \text {a.s.} \]