Equivalent characterizations for Reflexive spaces

Well I'm reading about Reflexive spaces those days and I would like to see a proof for two different claims.

The first claim is that a Banach space is reflexive iff every bounded functional attains its maximum on the unit ball. Well, It is well known that a Banach space is reflexive iff its dual is reflexive iff the closed ball is weakly compact. From those equivalent characterizations, one can prove that every bounded sequence has a weakly convergent subsequence, and from this one can show that every bounded functional gets a maximum value on the ball. My question is: how can we prove the other side? Given that every bounded functional attains its maximum value on the closed ball, how can we prove that the space is reflexive in order to get the equivalence of all those characterizations?

Another claim is that if for every point x in the space and for every closed and convex set K, the distance between x and K is attained for some x0 in K, then the space is reflexive. This is a question I found within an old exam paper, therefore I suppose that It is much easier to be proven, but I do not see how. I believe that this must follow from one of the characterizations above.