sum ((100 choose i) * 0.8^i * (1-0.8)^(100-i)) with i from 0 to 79