二分答案有一个很显著的特征：一定存在一个临界值，单调性只是临界值的一种，而不是全部。临界值，就是寻找第一个/最后一个满足要求的值，这又分别对应着两个完全不同的二分模板，这里做题时推荐使用“第一个满足要求的值”，即对应着STL中的upper_bound，手写板对应着这篇文章里讲的模板