Sum of (7 choose n) as n goes from 1 to 7