sum(20 choose x) 1 to 8