Definition:Strictly Decreasing Function