Condition for Monotonically Decreasing Function