Your statement is a little bit confusing, but I think that you are asking two questions. First, you say that the infimum exists because the range is bounded (due to compactness) - that is okay. Now you want to find so that . I suggest constructing a sequence so that . Use the definition of to help you.