Definition:Decreasing Function