Solution (source code)

= Solution

If $v\in\overline X$, choose $x\in X$ with $\|v-x\|<\varepsilon$. By part (i),
$$
\|A_nv\|\leq\|A_n(v-x)\|+\|A_nx\|\leq\varepsilon+\|A_nx\|.
$$
The last term tends to zero by part (ii). Taking the limit superior and then $\varepsilon\downarrow0$ proves \b[$A_nv\to0$ for every $v\in\overline X$].