想表示“数组 $ans$ 中的每一项都大于等于前一项”，应该是“数组 $ans$ 单调不递减”，还是“$ans_i$ 单调不递减”？