Real function/Strictly increasing/Definition