The Safe Zone
Can one check control every step?
Start at and repeat the recurrence
An interval is invariant under a rule if every current value in that interval produces a next value in the same interval. In plain language: once the process is in the safe zone, the rule cannot send it out.
What an invariant interval proof must do
A few calculated values can suggest a safe zone, but they do not cover every possible current value.
An inequality that starts with an arbitrary value in the interval proves one safe step for all of them.
The repeat engine: start inside + prove every step stays inside = every later value stays inside.
Page 2 · Certify the safe zone
Use the page for notes; write your complete explanation on separate paper.
-
Calculate exactly. Do these examples suggest that may be a safe zone?
-
Now test every possible current value in the interval. Assume and complete the chain. Explain why the final bounds keep the next value inside .
-
The process starts at . Use that fact and Part 2 to explain why every later value stays in , even though you cannot list infinitely many values.
-
Is the smaller interval invariant? Test the allowed current value and justify your answer.