排序不等式

#TODO#