I have come across the following series, which I suspect converges to $\ln 2$:
$$\sum_{k=1}^\infty \frac{1}{4^k(2k)}\binom{2k}{k}.$$
I could not derive this series from some of the standard expressions for $\ln 2$. The sum of the first $100 000$ terms agrees with $\ln 2$ only up to two digits.
Does the series converge to $\ln 2$?
Hint: (or outline -- a lot of details and justifications must be done where there are $(\star)$'s)