est définie continue dérivable sur comme composée de fonctions définies continues et dérivables. On a qui est continue et strictement positive sur . Elle est aussi dérivable, avec . est strictement négative sur et nulle en 0. Ainsi est strictement décroissante sur .