Skip to main content
1 of 3

Sum of squared hypergeometric polynomials

$\sum_{m=1}^\infty \frac{1}{m} \bigg[{}_2F_1(-m,m,2,u)\bigg]^2 = \frac 1 4 -\frac 1 2 \log u$

I have very strong numerical support for the validity of this equality when $0<u\le1$. Can anyone help proving or disproving ?