余玄函数在整个定义域内是减函数吗?为什么?