rt，题解里要么没提，要么一句话带过。这对不喜欢感性理解选手十分不友好。所以求此证明。

即要证：对于不同的 $n_1>n_2$，总有 $ans_{n_1}\ge ans_{n_2}$ 成立。

谢。