Jump to content

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

From Wikiversity

Prove that for the factorial function the relationship

holds.