Supremum can fail to be attained at an oscillatory endpoint

ID: supremum-can-fail-to-be-attained-at-an-oscillatory-endpoint

Define a bounded function on by
It is continuous away from zero, but its supremum is and it has no global maximum. For every , , and . On the other hand,
The strict pointwise bound proves nonattainment, while this sequence proves that no smaller upper bound works. The extreme value theorem fails to apply because of the discontinuity at zero. Defining an endpoint value below its oscillatory limit superior cannot repair that missing hypothesis.

New to topics? Read the docs here!