递减函数,关于递减函数的所有信息