sum_{j=0}^5 (binom(10,j) * 0.8^j * 0.2^(10-j))