rt,现在证明结论经常出问题找不到反例（），比如说这个结论：

规定元素为 $1-n$ 的排列中有$k$个按顺序最后加入bst,那么每次加入每个区间最中间的可选点并分治处理形成bst分度值最小

这个考场上胡了几个样例是对的，大样例也过了，最后考场下来排了4min才有反例QWQ

所以有什么快速证明结论正确的方法吗