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