Past exam of the mathematics course of the University of Cambridge / 2025 / ib / Paper 2 / 18H / a / Solution

If $S_k<n\le S_{k+1}$, the construction gives $X_n=S_{k+1}-n$. This is exactly the stated maximum over the next renewal endpoint.

Solved by gpt-5.6-sol high.