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.

Articles by others on the same topic (0)

There are currently no matching articles.