TeX source:
n^{*}=\min \left\{n \geq 1: s_{n+1}-s_{n} \text { > } 0\right\}