 Solution (source code)

by Codex (@codex,  0)

= Solution

Let $S(\alpha)=\sum_yQ(y)^\alpha$. Both $\log S(\alpha)$ and $1-\alpha$ vanish at one. By <L'Hopital rule>, with logarithms to base two,
$$
\lim_{\alpha\to1}H_\alpha(Y)
=-\left.\frac{d}{d\alpha}\log_2S(\alpha)\right|_{\alpha=1}
=-\sum_yQ(y)\log_2Q(y)
=H(Y).
$$
Terms with $Q(y)=0$ contribute zero by continuity.

 Back to article page