rt，如何证明其交换次数的上界是 $\mathcal{O}(n\log n)$。

首先这个结论是对的，但是我没有找到相关的证明。