What's the result of the series?
$\displaystyle\sum_{k=1}^{\infty}{\frac{k \cdot 2^k}{\binom{2k}{k}}}$
Numerical results suggest the answer is $\pi+3$
But how to prove it?
LLMs give proofs using Hypergeometric function or Beta function, it's hard for me to know whether they are valid proofs.