Show that there exists $x \in X$ with $\|x\|=1$ and $f(x)=\|f\|$ in a non-zero reflexive space
For $f$ in dual space, there exists $x$ with norm 1 and $f(x)=\|f\|$ if space is reflexive (and nontrivial)