int_0^infty ( sum_(n=1)^(20) (erfc(x))^n/(n 2^n)) dx