Fonction décroissante et minorée dont la dérivée ne tend pas vers zéro