remark 14804 (3) 中证明不可能小于$51$的核心是$max(a_{2n-1},a_{2n})$是严格增数列