strictly decreasing function; strictly decreasing monotonic function