Exercise 18, § 2

Show that a Banach space E whose strong dual E' satisfies the first axiom of countability, and which is semi-complete (III, p. 7) for the weakened topology $\sigma(E, E')$, is reflexive (compare with IV, p. 54, exerc. 15, b)).