Make this paragraph more coherent.
We notice that the infimum is taken over compact sets and. Can be replaced by a minimum.
We notice that the infimum is taken over compact sets and hence can be replaced by a minimum.