1- (sum binom(4,k)*(0.7)^k*(0.3)^(4-k), k=1 to 2)