Continuity bounds for the square function

ID: continuity-bounds-for-the-square-function

For at any real , polynomial factorization gives
If , the triangle inequality yields . Therefore the displayed choice of makes imply . This proves continuity and gives an explicit local error bound, rather than an inference from a drawing.
At and , this sufficient choice is . The permitted function inputs satisfy ; their actual function outputs lie in , inside the requested band . A sufficient input window need not be the largest possible one.
Figure 1.
An input window that guarantees the requested output tolerance for the square function
. For the polynomial function at , the blue input window has and the orange output band has . The highlighted function graph segment lies inside their overlap. The illustration shows an exact mathematical example, rather than measured values. Details.

New to topics? Read the docs here!