Logarithm of Factorial/Proof