f是y的不增函数(2个结果)
f是y的不增函数