E s'écrit comme un produit de fonctions ou composition de fonctions de classe {\mathcal C}^{\infty} sur ]0,+\infty[, donc E est aussi {\mathcal C}^{\infty} sur ]0,+\infty[. Et E est strictement positive puisque chaque facteur apparaissant dans E est strictement positif sur cet intervalle.