Let with . Choose preimages , and let , . The defining property of a real interval ensures . The restriction of to this closed interval is continuous, and its endpoint values are in one order or the other. The intermediate value theorem supplies with . Thus every value between two image values lies in the image, proving
The continuous image of a real interval result does not require itself to be closed or bounded; only the segment between the chosen preimages is used. Empty and single-point images also satisfy the interval property.
A suitable continuous function is
For and ,
All these arguments lie in . Its image is a real interval by the continuous image of a real interval result, and it is unbounded both above and below. Given any real , choose two of the displayed points with function values on opposite sides of , then apply the intermediate value theorem on the segment joining them. Hence the image is all of . A monotone example would not suffice here; the oscillation gives both directions of unboundedness near the same missing endpoint.