MDLD/strictly decreasing (real function)