Real function/Decreasing/Definition