Real function/Increasing and decreasing/Definition