sum from 0 to oo of 1/(2n choose n)