 Solution

Write $b_n=4^{-n}\left(\genfrac{}{}{0ex}{}{2n}{n}\right)$. The given limiting identity and the Cauchy coefficient formula from part (a) give the boundary contour integralThe contour passes through $z=1$, so its value here is an improper integral using the one-sided branch values. Parametrize its open arc by $z=e^{i\theta }$, $0<\theta <2\pi$. Substitution of the analytic branch of a square root calculated in part (b) givesThe factor $e^{-in\theta }$ comes from cancelling $e^{i\theta }$ in $dz$ against $z^{n+1}$; the extra $e^{-i\theta /4}$ comes from the chosen branch. Keeping both phases prevents a change in the half-integer frequency.

Now put $t=\theta /2$. ThenDividing by $i-1$ givesTaking the real part therefore provesAll these improper integrals converge absolutely: the numerators are bounded, while $(\sin t{)}^{-1/2}$ is of order $t^{-1/2}$ at zero and $(\pi -t{)}^{-1/2}$ at $\pi$. Hence the substitutions and passage to the real part are legitimate. The imaginary part also shows that the corresponding sine integral has the same positive value, which checks the phase calculation.