设在上严格单调递减，是任意正数，则有（）