Explore related knowledge and questions →
← Question derivation index · Original question batch
R0053-27092 · q-20261015-advance-20261117-r03-uniform-limit-continuity-theorem-0017
On [0,1] let f(x)=m*x+b and f_n(x)=f(x)+E*x/(n+1), with exact m=-1,b=17,E=17>0,n=17≥1. Give (base_slope, base_intercept, error_scale, n, function_description, sup_error, attainment_statement, uniform_certificate).
G001 — On [0,1] let f(x)=m*x+b and f_n(x)=f(x)+E*x/(n+1), with exact m=-1,b=17,E=17>0,n=17≥1. Give (base_slope, base_intercept, error_scale, n, function_description, sup_error, attainment_statement, uniform_certificate).Use the original question domain, assumptions and cited MKO definitions. This item has second-context mathematical and bilingual review, with the model, answer and every arithmetic step independently recomputed from the original parameters; the source question remains a candidate.
Before
source roles = [uniform-sup-certificate]
After
derived = [[base_slope, base_intercept, error_scale, n, function_description, sup_error, attainment_statement, uniform_certificate]]
Conditions: none
List the complete source field order and mode-specific roles without JavaScript or answer-shape inference;No,undefined and infinity retain their distinct meanings.
Rule: source_ordered_fields_without_JS · Uses: G001
Before
Uniform ORIGINAL error over n plus one := div(17, 18)
After
Uniform ORIGINAL error over n plus one = 17/18
Conditions: none
Substitute original roles and established intermediates exactly;no approximation,slot substitution or internally consistent changed operand.
Rule: exact_rational_arithmetic · Uses: G001, S001
Before
source roles = [-1, 17, 17, 17]
After
derived = [f(x)=base_slope*x+base_intercept, f_n(x)-f(x)=(17)*x/18, 17/18, EVERY x in[0,1]:0<=x<=1;attain at x=1, Yes]
Conditions: none
The given affine law covers the WHOLE[0,1],not sampled points.Subtraction cancels the same base.With E>0,the absolute error is E*x/(n+1)<=E/(n+1) for every x,and x=1 attains it.Hence this is the exact supremum;the affine terms and limit are continuous.
Rule: Uniform_WHOLE_affine_difference_absolute_bound_and_attainment · Uses: G001, S002
S003 · premise_and_result_audit — Reverse-check the complete original data,step operands and premises;finite checks,conditional named-theorem use and general formal proof remain distinct.S002 · premise_and_result_audit — Recompute Uniform ORIGINAL error over n plus one with exact rational arithmetic, not rounded decimals.S001 · premise_and_result_audit — Reverse-check the complete original data,step operands and premises;finite checks,conditional named-theorem use and general formal proof remain distinct.(-1, 17, 17, 17, f_n(x)=-1x+17+17x/18, 17/18, sup_on_[0,1]_attained_at_x=1, Yes)
The full substitutions and premise checks give the original answer; source identity,format and status are unchanged.
Review date: 2026-10-26
Original questions, answers, step expressions, numeric ASTs and historical records are retained. Source candidate labels remain historical and are not overwritten as formal proof.
input commit: 0f7be61e2c22317a4075561dc822c87d881a50dboriginal question SHA-256: a2850026d5a278b5e2a994a5d55579afbc9553fc9d7a21e8c3500398b096348ecandidate record SHA-256: 48c7ce7082c3b3b31904de1e8e1324c69da26ad46ea1df85a1dbde255dbbe30asemantic review receipt SHA-256: 1b7a62514347b82518305d5feb4369a52d7d44c442a0f2b131e9eb3cd7b45f62question-first witness SHA-256: 79dc2a1077081f3ea2a03f75e32778163bf05e814cdf4c29ed86e567295f9ee1Lean: NOT_RUN · human review: NOT_PERFORMED