sum with k from 0 to 6 (7 choose k)