A hypergeometric proof for a binomial identity related to $1/\pi$
We show that a binomial identity arising in the context of the study of series expansions of $1/\pi$ can be seen as an incarnation of Whipples second theorem for hypergeometric series.