Stirling estimation for binomial coefficient