问的问题中存在 $x_1<x_2<x_3$，使得 $\operatorname{cnt}(x_1) > \operatorname{cnt}(x_2),\operatorname{cnt}(x_3)>\operatorname{cnt}(x_2)$ 是推断这个数不存在的充要条件。

这个结论的必要性怎么证啊