 Goldstine theorem

The canonical image of the closed unit ball of a Banach space $X$ is weak-star dense in the closed unit ball of $X^{\ast \ast }$.