极小mex

称\([l,r]\)是极小区间，当且仅当不存在\([L,R]\subsetneq[l,r],\mbox{mex}(l,r)=\mbox{mex}(L,R)\)。则有结论：极小区间只有\(O(n)\)个。证明：考虑极小区间\([l,r]\)，则\(a_l\neq a_r\)，设\(a_l>a_r\)