Given an adapted cadlag Levy Process $X$ and a constant $C$ defined as the $\sup_{t} |\Delta X_t|$ where $\Delta X_t=X_t- X_{t^-}$ and the book defines:
$T_1=\inf\{t:|X_t| \geq C\} $
$\vdots$
$T_{n+1}=\inf \{t>T_n: |X_t-X_{T_n}| \geq C\}$
My attempt: I proceed by induction
Since X is cadlag adapted, $T_1$ is clearly a stopping time. Then I assume that $T_n$ is a stopping time and try to conclude that $T_{n+1}$ is a also a stopping time
$\{T_{n+1} \leq t\}= \bigcup_{s \in (T_n,t]\cap \mathbb{Q}} \big\{ \{T_n If the above two sets are equal?(I am not absolutely sure if they are!!)
then since by assumption that $T_n $ is a stopping time we have that $\{T_n The countable union is still in $\mathcal{F}_t$ and we are done. Is this proof valid? Can you point out where the problem is and how could I fix it?