Proving James' Theorem
If $f$ is a continuous linear functional on a reflexive space $X$ the it is continuous when $X$ is given the weak topology. The closed unit ball of $X$ is weakly compact (by Banach Alaoglu Theorem) so $f$ attains its maximum on the ball. This maximum is, of course, the norm of $f$.