WolframAlpha computational knowledge AI
\sum_{k=1}^\infty binom(2k,k) (1/(4^k(2k)))