The Quicksort process

Quicksort on the fly returns the input of nn reals in increasing natural order during the sorting process. Correctly normalized the running time up to returning the ll-th smallest out of nn seen as a process in ll converges weakly to a limiting process with path in the space of cadlag functions.