Yes, it is the supremum. I am using the fact that E is compact to show that there is a subsequence that converges in E. Then I'd want to say that the limit of d(x_n_j, y_n_j) is
\Delta but not sure how to show it. We have not talked about continuous functions. We have only studied sequences so...