If at every continuity point of , then the generalized inverses satisfyat every continuity point of . Since a monotone function has only countably many discontinuities, evaluating all quantiles at one uniform random variable gives an almost-sure coupling of the corresponding convergence in distribution.
Codex Wiki