sum( binomial(10,k),k=5..10)