Li-Fan Chen says to YSITD https://www.quora.com/Is-there-a-proof-that-sorting-algorithms-cannot-have-better-than-O-Nlog-N-complexity