A Christmas formula for
Benoit Cloitre offers a Christmas formula for to us !
Let and . It is easy to check the WZ-type relationship :
Thus, using notations in [Wilf], we obtain
Moreover, . The classical Euler's sum gives . Now, finally, from [Wilf], we obtain:
And so, as wanted.