T1:
最暴力的可以直接二分答案，然后再二分check，复杂度(O(nlog^2n))，TLE了
考虑如何去掉check的log
首先我们可以钦定ans在a/b上，二分位置
其次考虑如何(O(1))判断小于x的数有多少个：
当前的序列所有在这个位置之前的一定满足条件
而对于另一个序列我们可以找到满足条件所需的位置上的数，比较这个数和x的大小即可（妙啊）
T2:
应该是这道题的变形
单调栈维护最值加线段树维护最优转移点就行了
T3:
咕咕咕……