sum of ((n+9) choose 9)^2/2^(20+2*n) for n=0 to infinity