 Explicit Ornstein-Uhlenbeck solution

The solution ofisIt has variance $(1-e^{-2\lambda t})/(2\lambda )$. Starting from $N(0,(2\lambda {)}^{-1})$ makes it stationary with covariance $e^{-\lambda |t-s|}/(2\lambda )$.