lambda1@tg
says to
YSITD
這裏有個更強的結果： average-case is also Omega(n log n)