sum binom (7000,k) * 0.2^k * 0.8^(7000-k) for k=0..1000