2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/104962We derive a new coupling of the running maximum of an Ornstein-Uhlenbeck process and the running maximum of an explicit i.i.d. sequence. We use this coupling to verify a conjecture of Darling and Erdos (1956).13 pagesProbability60G70; 60F15text