ThmDex – An index of mathematical definitions, results, and conjectures.
Result R3473 on D4871: Function supremum
Euclidean real function with open image set does not attain maximum