This is from my classnote:

Define to be all continuous functions on [0,1], and define its metric be

Show that if , then

Proof.

if , then for some

Consider the function , we see that [tex]h(x) [tex] is continuous on

Now, let , then

with

Then we have on (Why is that?)

Then we have