反函数是单调