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