存在相等的值，cmp写小于等于会RE。
So tell me why?
发现不是小于等于的问题，我认为应该是一些逻辑矛盾的问题。
也有同样的人遇到这个问题
cmp(x,y)是strict weak ordering严格的弱序列，满足：
1.\(f(x,y)\)和\(f(y,x)\)不能同时为\(true\)，则\(f(x,x)=0\)
2.传递性：\(f(x,y)=f(y,z)=1\)能推出\(f(x,z)=1\)
这里写\(<=\)的话，就会出现\(f(x,x)=1\)的情况，与\(1\)条件不符。