单调递减是只求下界就可以么