Fonction racine carrée

La fonction racine carrée est la fonction $f$ définie sur $[0\ ;+\infty[$ par $f(x)=\sqrt{x}$.