Real function/Increasing/Definition