MDLD/strictly increasing (real function)

Start=strictly increasing (real function) Target=Real function/Strictly increasing/Definition