sum( binomial(50,k)* binomial(50,10-k),k=5..10) /binomial(100,10)