# Compact metric space: proof $\text{diam}(K)$

I am to assume that $K$ is a compact metric space. I must prove that there are two points $x,y$ contained in $K$ such that $d(x,y)=\text{diam}(K)$.

Recall $\text{diam}(K)= \sup \{ d(x,y) \mid x,y \in K \}$.

I'm having trouble figuring out exactly what I need to do to get started on this proof and what it is I need to prove along the way. I know the definitions, but I'm having trouble applying them to this problem.

Thanks

-

The metric $d : (x,y) \mapsto d(x,y)$ is continuous, so by compactness $d$ has a maximum on $K \times K$.

-