Let $X$ and $Y$ be normed spaces, and let $T : X \rightarrow Y $ be a bounded linear operator, and denote by $T^*$ the adjoint operator of $T$.
Suppose also that $X$ is separable, that is, $X$ admits a countable dense subset. Let $ (y_n)_{n \in \mathbb{N} } $ be a sequence of bounded linear functionals in $Y^*$. Prove that if $(y_n)_{n \in \mathbb{N} }$ is bounded, then $ T^*(y_n)_{n \in \mathbb{N}} $ has a convergent subsequence.
Quite stuck on this, any hints or tips?