sum ((4+n) choose 4)^2 / (2^(10+2n)), n=0 to infinity