factorial big number using Stirling approximation