写出一个y随x的增大而减小的一次函数解析式