Solution (source code)

= Solution

Since $Y\geq1$, its finite <expected value> satisfies $1\leq\mu<\infty$. Every $q_k=kp_k/\mu$ is nonnegative and
$$
\sum_{k\geq1}q_k=\frac1\mu\sum_{k\geq1}kp_k=\frac{\mathbb EY}{\mu}=1.
$$
Thus these values are a <probability mass function>. They define the <size-biased distribution> of $Y$: larger values receive proportionally more weight.