问题:给定一个包含 {0,1,…,n−1}\{0,1,\dots,n-1\}{0,1,…,n−1} 中每个数恰好一次的序列 aaa,求∑l=1n∑r=lnmex({al,…,ar})\sum\limits_{l=1}^n\sum\limits_{r=l}^n mex(\{a_l,\dots,a_r\})l=1∑nr=l∑nmex({al,…,ar}) 的值
结论为 ∑i=1nmini×(n−maxi+1)\sum\limits_{i=1}^n min_i\times(n-max_i+1)i=1∑nmini×(n−maxi+1),求证明