Doublon avec https://agreg-maths.fr/developpements/762
La fonction Γ est la seule fonction f définie pour des x > 0 telle que f(1) = 1, f(x+1) = xf(x) et f est log-convexe sur les réels strictement positifs (i.e. log(f) est convexe sur les réels strictement positifs).