众所周知，

$a_k, a_k + 1, \cdots a_n$

是不可能递减的，应改为：

 $a_k, a_{k + 1}, \cdots a_n$