binomial coefficients; gamma function; polygamma function; finite sum identities