Range of a continuous coercive real function
ID: range-of-a-continuous-coercive-real-function
A real continuous function on that tends to as has range for an attained minimum . Choose a compact interval outside which its values exceed , and minimize there by the extreme value theorem. For any , choose a far point with value larger than and apply the intermediate value theorem between it and a minimizer. Distance from a fixed point to a continuous graph is an example because it is at least the horizontal distance.
New to topics? Read the docs here!