hypergeometric summation, definite integration