On the exponential decay of the characteristic function of the quicksort distribution
We prove that the characteristic function of the quicksort distribution is exponentially decreasing at infinity. As a consequence it follows that the density of the quicksort distribution can be analytically extended to the vicinity of the real line.