Factorial function/Fac (x) equals integral 0 to 1 (-ln t)^x/Exercise

Prove that for the factorial function the relationship

${}\operatorname {Fac} \,x=\int _{0}^{1}(-\ln t)^{x}dt\,$

holds.

Create a solution