Continuity bounds for the square function
ID: continuity-bounds-for-the-square-function
For at any real , polynomial factorization givesIf , 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.
New to topics? Read the docs here!
