Ornstein–Uhlenbeck scaling-limit conjecture. As λ→0\lambda\to0λ→0, with convergence in law for the Skorokhod metric,
