A hypergeometric proof for a binomial identity related to $1/π$

Abstract

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