问的问题中存在 x1<x2<x3x_1<x_2<x_3x1<x2<x3,使得 cnt(x1)>cnt(x2),cnt(x3)>cnt(x2)\operatorname{cnt}(x_1) > \operatorname{cnt}(x_2),\operatorname{cnt}(x_3)>\operatorname{cnt}(x_2)cnt(x1)>cnt(x2),cnt(x3)>cnt(x2) 是推断这个数不存在的充要条件。
这个结论的必要性怎么证啊