s'écrit comme un produit de fonctions ou composition de fonctions de classe sur , donc est aussi sur . Et est strictement positive puisque chaque facteur apparaissant dans est strictement positif sur cet intervalle.