 Compact sublevel set

A sublevel set which is compact. A good rate function has this property for every finite level.