本题进行二分有一个前提：当n增大时，自动AC机能够切掉的题数量会减少或保持不变，这应当如何严谨地证明？