#### assume, multiple assumptions (16.3.98)

##### Lucy Schloesser

The function p(k,n) with k,n Integer and n>=k>=0 is deﬁned as follows.

I want maple to solve int(x^k*(1-x)^(n-k)*binomial(n,k), x=0..1); . It is = 1/(n+1); (with integration by parts)

Deﬁnite integration: Can’t determine if the integral is convergent. Need to know the sign of --> -n+k

Will now try indeﬁnite integration and then take limits. Has someone written a program to solve this problem?