rt,赛时猜了个结论,令 preprepre 为 AAA 的前缀和,sufsufsuf 为 AAA 的后缀和,这个序列可以变为单调不降的序列当且仅当对于所有 i(1≤i<n)i(1\le i<n)i(1≤i<n) 都满足 ⌈preii⌉≤⌊sufi+1n−i⌋\lceil\dfrac{pre_i}i\rceil\le \lfloor\dfrac{suf_{i+1}}{n-i}\rfloor⌈iprei⌉≤⌊n−isufi+1⌋,求证明/证伪