Let X be a compact metric space and let f : X X be a continuous function. Prove that if f has no fixed points, then there exists a > 0 such that d(x,f(x)) >= a whenever x X. Show by example that the compact hypothesis cannot be dropped.