Real function/Strictly decreasing/Definition